O autômato finito determinístico com saídas associadas aos estados, só que nesse caso as saídas são produzidas por uma função que determina esta sa...

O autômato finito determinístico com saídas associadas aos estados, só que nesse caso as saídas são produzidas por uma função que determina esta saída (podendo também ser vazia) determinando o estado da máquina denomina-se.


Máquina de Kleene
Máquina de Church
Máquina de Estados Finitos
Maquina de Turing
Maquina de Moore