Una macchina a stati finiti cui funzione di transizione mappe simboli ingressi e gli Stati ad un insieme (eventualmente vuoto) di stati prossimi. Funzione la transizione anche può mappare il simbolo null (nessun simbolo dell'input necessario) e Stati prossimo negli Stati.