Comment construire un automate reconnaissant un langage donné ?
Description
Déterminer quelle information l'automate doit retenir sur le préfixe lu pour décider d'accepter ou refuser. Chaque type d'information correspond à un état.
Quand utiliser
Toujours, c'est la première étape de la construction.
Exemple
Pour les mots avec un nombre pair de 'a' : l'automate doit mémoriser la parité du nombre de 'a' → 2 états (pair, impair).