Yo entiendo al compañero, porque a mi en la Uni me enseñaron la lógica finita de lo que se llamaban "Automatas", de los que los más conocidos era el de Moore y el de Mealy. Creo que también se llama máquina de estados o algo asi
Automata Finito
Automata finito determinista
Saludos