Os autômatos, ou máquinas de estados, são abstrações matemáticas para representar modelos computacionais. Esses modelos computacionais possibilitam a idealização de computadores, podendo representar linguagens complexas, tais como as recursivas e recursivamente enumeráveis às simples linguagens regulares. Um dos tipos de autômatos usados para reconhecer a linguagem regular é o AFD, marcado fortemente por seu determinismo.
Assinale a alternativa correta acerca do significado de determinismo usado pelo AFD.
a) É a capacidade que um autômato finito tem de chegar a dois estados diferentes por meio da transição espontânea épsilon, sendo essa transição determinante no estado de aceitação.
b) É a capacidade que um autômato finito com estado finito tem de assegurar que pode ou não utilizar um símbolo, ficando a cargo do estado não consumir todos os símbolos do alfabeto, sendo o consumo dos símbolos optativo.
c) É a capacidade que um autômato com estados finitos e predefinidos estabelece a partir de seus estados iniciais de alcançar o único estado de aceitação possível, caracterizando o determinismo.
d) É a capacidade que um autômato finito tem de gerar um único ramo de computação para cada cadeia de entrada fornecida. Esse autômato pode ser expresso por meio da quíntupla da formalização.
e) É a capacidade que um autômato finito tem de realizar sua computação na função programa por meio de três estados iniciais e dois estados de aceitação, sendo esta a quantidade mínima de estados apropriados.