Langages de Büchi et Omega Langages Locaux

Olivier Finkel (1)

1 ELM - Équipe de Logique Mathématique

There exist similarities between the properties of Büchi languages, omega languages recognized by finite automata or defined by monadic second-order sentences, and those of local omega languages, defined by J.-P. Ressayre . We establish some new ties between these two classes of omega languages, and show in particular that Büchi languages are local omega languages canonically connected with the regular expressions.

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]

Olivier Finkel. Langages de Büchi et Omega Langages Locaux. Comptes rendus de l'Académie des sciences. Série I, Mathématique, 1989, 309, pp.991-995. ⟨hal-00102490⟩