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 |
| Externí odkaz: |
|