Exercício 03.29

Desenvolva um Autômato Finito Não-Determinístico (AFN) sobre o alfabeto Σ = {i, j, k}, que reconheça a linguagem L = {w | w possui jki como prefixo, kikj como subpalavra e jki como sufixo}.


Resposta

M = ({i, j, k}, {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10}, δ, q0, {q10})

δ i j k
q0 - {q1} -
q1 - - {q2}
q2 {q3, q5} - -
q3 {q3} {q3} {q3, q4}
q4 {q5} - -
q5 - - {q6}
q6 - {q7, q8} -
q7 {q7} {q7, q8} {q7}
q8 - - {q9}
q9 {q10} - -
q10 - - -

Recomendamos

Vida de Suporte Copy Agenda TI