O autômato finito determinístico

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.

tem a capacidade de adivinhar algo sobre sua entrada ao testar valores.

pode, para cada entrada, transitar a partir do seu estado atual em um e somente um estado.

permite zero, uma ou n transições para os estados de entrada.

consegue estar em vários estados ao mesmo tempo.