Un automa a stati finiti per il linguaggio L dell'esercizio 1: tabella Move e (se nondeterministico) Move1.