O autômato finito determinístico
- A corresponde à função de transição que recebe um estado ou um símbolo de entrada que sempre retorna um conjunto de estados como resultado.
- B tem a capacidade de adivinhar algo sobre sua entrada ao testar valores.
- C pode, para cada entrada, transitar a partir do seu estado atual em um e somente um estado.
- D permite zero, uma ou n transições para os estados de entrada.
- E consegue estar em vários estados ao mesmo tempo.