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.