Langages de Büchi et Omega Langages Locaux
Finkel, Olivier
HAL, hal-00102490 / Harvested from HAL
Text on HAL
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.
Publié le : 1989-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00102490,
     author = {Finkel, Olivier},
     title = {Langages de B\"uchi et Omega Langages Locaux},
     journal = {HAL},
     volume = {1989},
     number = {0},
     year = {1989},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/hal-00102490}
}

Finkel, Olivier. Langages de Büchi et Omega Langages Locaux. HAL, Tome 1989 (1989) no. 0, . http://gdmltest.u-ga.fr/item/hal-00102490/