Automates sur les mots bi-infinis

par Danièle Beauquier

Thèse de doctorat en Mathématiques

Sous la direction de Maurice Nivat.

Soutenue en 1986

à Paris 7 .

mots clés

• Automate état fini
• Théorie langage
• Reconnaissance langage
• Automate déterministe
• Langage régulier
• Mot infini
• Reconnaissance mot
• Finite automaton
• Langage theory
• Language recognition
• Deterministic automaton
• Regular language
• Infinite word
• Word recognition

Résumé

On traite de la reconnaissance des mots bi-infinis par un automate fini: on demontre que tout langage reconnaissable de mots infinis peut etre reconnu par un automate co-deterministe; on etend aux mots bi-infinis, le theoreme de mcnaughton; on etudie les proprietes de l'ensemble des facteurs d'un mot bi-infini dans le cas ou cet ensemble est reconnaissable; on determine par un theoreme d'existence d'automate minimal

Titre traduit

Automata on bi-infinite words

Pas de résumé disponible.