Logic on words

Jean-Eric Pin (1)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications

This dialog between Quisani, Yuri Gurevich's imaginary student, and the author, was published in the "Logic in Computer Science Column" of the EATCS Bulletin. It is first addressed to logicians. This dialog is an occasion to present the connections between Büchi's sequential calculus and the theory of finite automata. In particular, the essential role of first order formulæ is emphasized. The quantifier hierarchies on these formulæ are an occasion to present open problems.

Mots clés: formal logic; finite automata; finite semigroups

Domaines: Logique en informatique [cs.LO]

Jean-Eric Pin. Logic on words. G. Paun, G. Rozenberg and A. Salomaa. Current trends in theoretical computer science, World Scientific Publishing, pp.254--273, 2001. ⟨hal-00020073⟩