2

J'ai l'automate suivant. Je suis censé comprendre l'utilisation de la transition vide à travers elle. NFA with empty transitionQue faisons-nous d'un NFA avec transition lambda?

Je pense que l'expression régulière de cet automate est la suivante: 0 * 1 * 2 *

Je veux juste savoir ce que cet automate nous permet de faire? en d'autres termes, quelle est l'utilisation de la transition vide dans ce cas?

+0

C'est un epsilon, pas un lambda. – Bergi

Répondre

2

Je pense que tu veux savoir sur la différence entre ce ..

enter image description here

et ce

enter image description here

différence est d'abord la première chaîne acceptent automate de 0,1 et 2 quoi que ce soit ... alors que le second automate accepte la chaîne de 0,1 et 2 de ... 0 suivi de 1,1 suivi de 2 .... ex. il accepte 012,001122,0012,0112 etc. il n'acceptera pas 102,201,0121,0120,0011221.

transitions si vide rendent agréable et facile ...

4

Vous avez raison, votre automate décrit 0 * 1 * 2 *. q est où il gère une série (éventuellement vide) de 0s. q est l'endroit où il gère une série (éventuellement vide) de 1s. En ayant une transition de vide q -q , aucun caractère est nécessaire entre les 0 et les 1.

La transition vide ne vous permet pas de décrire une langue qui ne pourrait pas être décrite sans elle. Cependant, essayez simplement de retravailler votre automate pour ne pas utiliser de transitions vides. C'est possible, mais cela nécessite plus de transitions, cela nécessite de faire de chaque état un état final, et quand vous avez terminé, vous verrez qu'il est plus difficile de dire quelle langue est décrite. Par conséquent, l'utilisation de transitions vides rend leur automate plus facile à comprendre.

+0

En fait, je ne souhaite pas transformer cet automate en DFA, mais plutôt essayer de comprendre les caractéristiques d'une transition lambda. Qu'y a-t-il de spécial, ce n'est pas possible de faire avec un DFA, en général, et spécifiquement dans cet automate (graphique)? – user1680944

+0

J'ai déjà répondu à cela (ou essayé de toute façon): rien. Toutes les langues régulières peuvent être décrites par un NFA avec des transitions vides, par un NFA sans transitions vides ou par un DFA. Ceux-ci sont tous également capables. – hvd

+0

Merci beaucoup – user1680944