Ybadoo - Soluções em Software Livre
Tutoriais
Linguagens Formais e Autômatos

Desenvolva um Autômato Finito com Movimentos Vazios (AFε) sobre o alfabeto Σ = {w, x, y, z} que reconheƧa a linguagem L = {w | w possui wzwz ou yxwz ou zwxy como prefixo, wzyxy ou xxyzw ou zwxwx como subpalavra e wxxz ou xyzx ou yzwx como sufixo}.

M = ({w, x, y, z}, {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13, q14, q15, q16, q17, q18, q19, q20, q21, q22, q23, q24, q25, q26, q27, q28, q29, q30, q31, q32, q33, q34, q35, q36, q37, q38, q39, q40, q41, q42, q43, q44, q45, q46, q47, q48, q49, q50, q51}, δ, q0, {q51})

Grafo com a função de transição de M
Grafo com a função de transição de M
Tabela com a função de transição de M
δwxyzε
q0----{q1, q6, q11}
q1{q2}----
q2---{q3}-
q3{q4}----
q4---{q5}-
q5----{q16, q19, q30}
q6--{q7}--
q7-{q8}---
q8{q9}----
q9--{q10}-
q10----{q16, q19, q30}
q11---{q12}-
q12{q13}----
q13-{q14}---
q14--{q15}--
q15----{q16}
q16{q16}{q16}{q16}{q16}{q17, q23, q29}
q17{q18}----
q18---{q19}-
q19--{q20}--
q20-{q21}---
q21--{q22}--
q22----{q35, q43, q47}
q23-{q24}---
q24-{q25}---
q25--{q26}--
q26---{q27}-
q27{q28}----
q28----{q35, q37, q49}
q29---{q30}-
q30{q31}----
q31-{q32}---
q32{q33}----
q33-{q34}---
q34----{q35, q38, q42}
q35{q35}{q35}{q35}{q35}{q36, q41, q46}
q36{q37}----
q37-{q38}---
q38-{q39}---
q39---{q40}-
q40----{q51}
q41-{q42}---
q42--{q43}--
q43---{q44}-
q44-{q45}---
q45----{q51}
q46--{q47}--
q47---{q48}-
q48{q49}----
q49-{q50}---
q50----{q51}
q51-----