A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
Languages obtained from infinite words
Tekijät: Harju T, Ilie L
Kustantaja: GAUTHIER-VILLARS/EDITIONS ELSEVIER
Julkaisuvuosi: 1997
Lehti:: RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Tietokannassa oleva lehden nimi: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS
Lehden akronyymi: RAIRO-INF THEOR APPL
Vuosikerta: 31
Numero: 5
Aloitussivu: 445
Lopetussivu: 455
Sivujen määrä: 11
ISSN: 0988-3754
DOI: https://doi.org/10.1051/ita/1997310504451
Tiivistelmä
We prove that it is decidable whether or not a regular language can be written as the set of all finite factors of an infinite word. The result holds for both right-infinite and bi-infinite words.
We prove that it is decidable whether or not a regular language can be written as the set of all finite factors of an infinite word. The result holds for both right-infinite and bi-infinite words.
Turun yliopiston Tutkimustietojärjestelmän portaali