automata
Practica 1.4