Automate fini

Une transition par ligne, ex. q0,0,q0 ou q0 -0-> q0 ou q0 0 -> q1. Les cibles d'un AFN peuvent être multiples, notées {q1,q2} ou q1|q2 ; epsilon peut s'écrire e, eps, epsilon, ε ou @.
Type d'automate:   Format d'entrée:   État initial:   États acceptants:
Chaîne de test:   Chaînes à tester:   Alphabet:   Longueur maximale:
Trace:   Table de transitions:   :   Séparateur:
Résultat du calcul Télécharger le CSV
N° Résultat État Détails

Présentation de l'outil et mode d'emploi

Collez une table de transitions pour simuler aussi bien un DFA qu'un NFA ; les résultats s'affichent en tableau et en texte.
Trois notations acceptées : q0,0,q0 ; q0 -0-> q0 ; q0 0 -> q1. Les cibles multiples s'écrivent {q1,q2} ou q1|q2.

Comment l'utiliser

  1. Collez les transitions ligne par ligne.
  2. Choisissez le type d'automate et le format, puis l'état initial, les états finaux et la chaîne de test.
  3. Lancez.
  4. Consultez la table, la trace et le résultat du test.

Mur de messages

Tous les messages →
0/200

  • Personne n'a encore écrit : vous voulez commencer ?