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) Apenas as afirmativas 1 e 2 estão corretas. Explicação: 1. Em um autômato finito determinístico, em um AFD, a cada símbolo reconhecido, o estado atual pode somente ser alterado para um único outro estado, sem existir indeterminismo. Essa afirmativa está correta, pois em um AFD, cada estado possui uma transição única para outro estado, dado um símbolo de entrada. 2. Um autômato finito determinístico possibilita construir um autômato finito não determinístico que realiza o mesmo processamento. Essa afirmativa também está correta, pois é possível converter um AFD em um AFND que reconheça a mesma linguagem. 3. Temos como exemplo de um autômato finito não determinístico a linguagem composta por As. Essa afirmativa está incorreta, pois um autômato finito não determinístico não é definido por uma linguagem específica, mas sim por um conjunto de possíveis transições que podem ser seguidas. 4. Um autômato finito não determinístico é aceito como símbolo vazio como entrada. Essa afirmativa está incorreta, pois um autômato finito não determinístico não reconhece o símbolo vazio como entrada, mas sim a possibilidade de não consumir nenhum símbolo de entrada em uma transição.