Progettare automi a stati finiti e testarli con JFLAP è una pratica utile alla formalizzazione di algoritmi deterministici combinatori di facile progetto.
Partiamo con questo video:
L’esercizio che dovremmo realizzare adesso è il seguente:

Cerca di comprendere la simulazione del jflap con l’automa sopra descritto cosa valida come input.
