GE-TGC-UN-01-QME-03 Fonte: Adaptada de Hopcroft, Ullman e Motwani (2002) Um Autômato Finito Determinístico (AFD) aceita ou rejeita cadeias de sí...

GE-TGC-UN-01-QME-03 Fonte: Adaptada de Hopcroft, Ullman e Motwani (2002) Um Autômato Finito Determinístico (AFD) aceita ou rejeita cadeias de símbolos gerando um único próximo estado para cada cadeia de entrada, ou seja, apenas um caminho pode ser seguido para chegar à linguagem. Formalmente, um AFD é definido por uma quíntupla M = (S, Q, d, q0, F), em que: S: é um conjunto finito de estados; Q: é um conjunto finito chamado alfabeto; δ : Q × S → Q é uma função de transição; q0 ∈ Q: é o estado inicial; F ⊆ Q: é o conjunto de estados finais. Utilizando a definição do AFD, pode-se afirmar que: I- S = {q1,q2 } é um conjunto finito de estados. II- Q = Alfabeto que no autômato acima é representado por valores 0 e 1. III- Represento as transições do autômato acima com a função d = δ(q1, 0) = q1 δ(q1, 1) = q2 δ(q2, 0) = q1 δ(q2, 1) = q2 É CORRETO o que se afirma em :