Expression → AFN
AFN → AFD
Minimiser
CYK
Énoncé
Symboles d’une lettre ou d’un chiffre ; | union, * fermeture, + un ou plus, ? optionnel, parenthèses et ε.
Chaque morceau numérote son état initial avant ses enfants et son état final après ; lors de la concaténation, l’état final du premier est l’état initial du second (sans ε).Aho et al. §3.7.4 · Pisa PLP-05
Trace
N(a) : deux états, 2 et 3, reliés par « a ».
Étape 1 sur 7 N(a) : deux états, 2 et 3, reliés par « a ».
La concaténation n’est pas une étape : elle ne crée aucun état, elle se contente de relier la fin d’un morceau au début du suivant.
AFN avec 11 états ; initial 0, final 10.
Le fil complet :l'inverseur CMOSla porte logiquele programme en assembleurle système d'exploitationles automates (tu es ici)