Si si conosco le macchine a stati finiti... derivate dal modello di Turing.
Ma devo importare qualche classe esterna?

Mi spieghi.