Modes de reconnaissance et équités dans les automates de mots infinis

par Douadi Mihoubi

Thèse de doctorat en Sciences appliquées

Sous la direction de Ahmed Saoudi.

Soutenue en 1989

à Paris 13 .

mots clés

• Sciences appliquées
• Informatique, automatique theorique, systemes
• These
• Informatique theorique
• Theorie langage
• Fermeture
• Reconnaissance langage
• Mot infini
• Automate
• Thesis
• Computer theory
• Language theory
• Closing
• Language recognition
• Infinite word
• Automaton
• Automates sur les mots infinis

Résumé

L'extension des grammaires linéaires et automates à pic aux ensembles de mots infinis est étudiée. Caractérisations de langages de mots infinis reconnus par des automates à pic. Etude des propriètés de fermeture de ces langages par les opérations booléennes et topologiques. Extension des concepts d'équités décrites sur: les systèmes de transitions finis, processus SCCS régulier et grammaires algébriques respectivement aux automates à pic, systèmes de N processus finis et à pic, et grammaires linéaires et bilinéaires

Titre traduit

Fairness and acceptance conditions in finit-turn automatons

Pas de résumé disponible.