Segundo Lewis ‎e Papadimitriou (2000), o autômato é um modelo matemático que reconhece um conjunto de palavras sobre um dado alfabeto. A teoria dos autômatos lida com as definições e propriedades de modelos de computação e são utilizados atualmente em diversas áreas da ciência da computação, como processamento de texto e compiladores.

Considerando o contexto, analise as afirmativas.



I. No autômato finito determinístico, para cada símbolo de entrada, um estado é determinado para qual poderá mover a máquina.

II. No autômato finito não determinístico, não é possível especificar o estado exato para o qual a máquina se move.

III. Quando o autômato não reconhece uma linguagem, a execução não termina.

Considerando o contexto, assinale a alternativa correta.

Escolha uma:
a.
Apenas as afirmativas I e II estão corretas.

b.
Apenas as afirmativas II e III estão corretas.

c.
Apenas a afirmativa I está correta.

d.
Apenas a afirmativa III está correta.

e.
As afirmativas I, II e III estão corretas.