La demande
“Un DFA sur {0, 1} qui accepte les nombres binaires divisibles par 3. Les états q0, q1 et q2 suivent le reste ; q0 est l’état initial et l’état acceptant.”
Essayez ensuiteModifiez-le pour une divisibilité par 5Nommez les états selon leur reste
Ce que contient ce dessin
Comprenez les décisions qui le sous-tendent.
01
Les états représentent le reste modulo 3 (0, 1, 2).
02Transitions
sur 0, état = (état*2) % 3 ; sur 1, état = (état*2+1) % 3.
03
L’état acceptant est q0 (reste 0), comme indiqué dans une note.
Pour modéliser des machines à états finis qui acceptent des langages réguliers selon des propriétés numériques modulo.