Rebootable and suffix-closed $\omega $-power languages

Autor: Igor Litovsky, B. Le Saëc
Rok vydání: 1992
Předmět:
Zdroj: RAIRO - Theoretical Informatics and Applications. 26:45-58
ISSN: 1290-385X
0988-3754
Popis: Les ω-languages R ω tels que (1) Pref (R ω ) R ω =R ω , (2) Suf (R ω )=R ω on (3) Pref (R ω ) Suf (R ω )=R ω sont caracterises au moyen de proprietes du language Stab (R ω )={u∈Σ*:uR ω ⊂R ω } et au moyen de proprietes des ω-generateurs de R ω . Toute caracterisation pour (1) fournit une caracterisation pour (2) et (3) en remplacant «prefixe» pour «suffixe» on «facteur», selon les cas. De plus (3) caracterise les ω-langages R ω qui sont des ω-ideaux a gauche de Alph (R ω )
Databáze: OpenAIRE