 |
|
|
|
| HAL : hal-00020073, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Current trends in theoretical computer science, G. Paun, G. Rozenberg and A. Salomaa (Ed.) (2001) 254--273 |
|
|
|
|
| Logic on words |
|
|
| Jean-Eric Pin 1 |
|
|
| (1994) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Automates et Applications |
|
|
|
|
| Domaine | : | Informatique/Logique en informatique |
|
|
| formal logic – finite automata – finite semigroups |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00020073, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00020073 | |
| oai:hal.archives-ouvertes.fr:hal-00020073 | |
| Contributeur : Jean-Eric Pin | |
| Soumis le : Samedi 4 Mars 2006, 19:37:09 | |
| Dernière modification le : Samedi 4 Mars 2006, 20:25:08 | |
