La réalisation directe de l’algorithme de Mac Naughton et Yamada permet decalculer le langage reconnu par un automate sans modifier celui-ci. Une autre application du principe développé dans cet algorithme est connuesous le nom detechnique d’élimination d’états. Il s’agit, cette fois-ci, de trans- 30 CHAPITRE 2. AUTOMATES FINIS ET LANGAGES RECONNUS
On note L = ( ) le langage des mots acceptés par l’automate. On cherche à réduire acceptés par le nouvel automate est exactement égal à L: ( ) = ( 0). livre d’exercices de Avérous, Gil, Santi et Vélu (Dunod, 2008). L’exemple 1 est à gauche et l’exemple 2 est à droite.
Il faut trouver un moyen de décomposer le langage recherché en une successionde langages obtenus au cours du cheminement dans l’automate. Ainsi, dans l’exemple précédent, on va boucler un certain temps sur l’état 1avec y puis, par une transition avecx, on va passer dans l’état 2et l’on nereviendra plus dans l’état1.
Remarque.Le langage reconnu par l’automate contient le motvide si et seulement si D∩F=∅. Un langageLsurAestreconnaissable(rationnel,régulier) s’il existe au moinsun automate fini Aut ayantAcomme alphabet d’entrée et tel queL=LAut.On noteRec(A∗)la famille des langages reconnaissables sur l’alphabetA. Remarque.