^{PDFprof.com Search Engine}

Chapitre 2 : Langages réguliers et Automates détats finis

Comment prouver qu'un langage est régulier ?
On dit qu'une expression régulière dénote ou décrit un langage. (a+ε) (ba) *(b+ε) décrit l'ensemble des suites alternées de a et de b.
Un langage est régulier si et seulement si il est dénoté par une expression régulière.
Comment savoir si un automate est déterministe ?
Un automate fini et déterministe est complet si et seulement si δ est une application de Q × Σ sur Q.
De chaque état, il part alors exactement un arc étiqueté par chacune des lettres de l'alphabet Σ.
Quand la fonction n'est pas une application, l'automate fini peut se trouver bloqué.
Quel est le langage reconnu par l'automate de la figure ?
Le mot w appartient au langage reconnu par l'automate si il existe un chemin de l'état initial à un état final qui décrit ce mot. e est un mot du langage reconnu par l'automate si l'état initial est final.
La théorie des langages fournit une base conceptuelle et éventuellement des outils de production qui réduisent considérablement les coûts de production des modules « analyseur syntaxique » et « décompilateur ».
La définition rigoureuse des arbres abstraits manipulés facilite la conception du « cœur » de l'application.

Comment prouver qu'un langage est régulier ?