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

Desenvolva um Autômato Finito com Movimentos Vazios (AFε) sobre o alfabeto Σ = {a, b, c, d} que reconheƧa a linguagem L = {w | w possui baca ou caab ou dcda como prefixo, abca ou bdda ou dad como subpalavra e add ou cab ou dbcb como sufixo}.

M = ({a, b, c, d}, {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}, δ, q0, {q45})

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
δabcdε
q0----{q1, q6, q11}
q1-{q2}---
q2{q3}----
q3--{q4}--
q4{q5}----
q5----{q16, q18}
q6--{q7}--
q7{q8}----
q8{q9}----
q9{q10}---
q10----{q16, q19, q23}
q11---{q12}-
q12--{q13}--
q13---{q14}-
q14{q15}----
q15----{q16, q18, q29}
q16{q16}{q16}{q16}{q16}{q17, q22, q27}
q17{q18}----
q18-{q19}---
q19--{q20}--
q20{q21}----
q21----{q31, q33, q38}
q22-{q23}---
q23---{q24}-
q24---{q25}-
q25{q26}----
q26----{q31, q33}
q27---{q28}-
q28{q29}----
q29---{q30}-
q30----{q31, q34, q41}
q31{q31}{q31}{q31}{q31}{q32, q36, q40}
q32{q33}----
q33---{q34}-
q34---{q35}-
q35----{q45}
q36--{q37}--
q37{q38}----
q38-{q39}---
q39----{q45}
q40---{q41}-
q41-{q42}---
q42--{q43}--
q43-{q44}---
q44----{q45}
q45-----