Os autômatos finitos são os primeiros modelos computacionais de definição de linguagens que são definidos por mecanismo de reconhecimento. Sobre el...

A alternativa correta é a letra B) Um autômato finito com movimento vazio é um autômato finito não determinístico que não aceita o símbolo vazio como entrada. Um autômato finito determinístico (AFD) não possibilita construir um autômato finito não determinístico (AFND) que realize o mesmo processamento, pois um AFND pode ter mais de uma transição para um mesmo símbolo de entrada em um mesmo estado, enquanto um AFD não pode. Já um autômato finito com movimento vazio (AFε) é um autômato finito não determinístico que aceita a entrada vazia (ε) como transição, mas não como entrada. Por fim, não existe estado de autômato infinito, apenas estados finitos.

Um autômato finito determinístico, a cada símbolo, reconhecido o estado atual, pode somente ser alterado para um único outro estado, sem existir indeterminismo.