Tutoriais - Linguagens Formais e Autômatos
Tutoriais
Linguagens Formais e Autômatos

1. Ybadoo
2. Tutoriais
3. Linguagens Formais e Autômatos
4. Autômatos Finitos com Movimentos Vazios
5. Exercício 04.31

Exercício 04.31

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 wzyz ou xywx ou ywwz como prefixo, xwzx ou yzwy ou zwyx como subpalavra e xwyz ou yxyz ou yzyz como sufixo}.

Solução do Exercício

M = ({w, x, y, z}, {q₀, q₁, q₂, q₃, q₄, q₅, q₆, q₇, q₈, q₉, q₁₀, q₁₁, q₁₂, q₁₃, q₁₄, q₁₅, q₁₆, q₁₇, q₁₈, q₁₉, q₂₀, q₂₁, q₂₂, q₂₃, q₂₄, q₂₅, q₂₆, q₂₇, q₂₈, q₂₉, q₃₀, q₃₁, q₃₂, q₃₃, q₃₄, q₃₅, q₃₆, q₃₇, q₃₈, q₃₉, q₄₀, q₄₁, q₄₂}, δ, q₀, {q₄₂})