Bonjour,
J'ai un exercice de représentation d'un automate avec la formule: E = abc (a|ab)+c*a
Le début ne me pose pas de problème mais je bloque au niveau du "+".
Quelqu'un peut il me donner un coup de main pour la représentation de cette automate?
Merci
Slt
Bonsoir,Envoyé par Nyco_b
ça dépend quel genre d'automate tu désires construire déterministe ou non. Si on part d'une expression A quelconque alors le NFA associé à A* est :nfa.pngL'idée est que l'ε-transition en rouge rend la reconnaissance de A optionnelle et l'ε-transition en bleu permet de reconnaître A plusieurs fois. On voit immédiatement que si on enlève l'ε-transition rouge alors on est obligé de reconnaître A une fois puis éventuellement d'autres fois = A+ : nfa2.png.
À la limite c'est la partie la plus compliquée, ensuite pour construire une alternative on applique la règle classique :nfaOR.png.
Avec ça tu peux aisément construire (A|B)+. Une fois que tu as ton NFA tu peux passer au DFA.
ok merci beaucoup
