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

1. Ybadoo
2. Tutoriais
3. Linguagens Formais e Autômatos
4. Conversão de Expressões Regulares (ER) para Autômatos Finitos Determinísticos (AFD)
5. Exercício 06.18

Exercício 06.18

Desenvolva um Autômato Finito Determinístico (AFD) com um número mínimo de estados para reconhecer sentenças descritas pela expressão ab(a + b)*ba. Utilize os procedimentos formais para obter o Autômato Finito com Movimentos Vazios (AFε), convertê-lo para um Autômato Finito Determinístico (AFD) e minimizar seu número de estados.

Autômato Finito com Movimentos Vazios (AFε)

M = ({a, b}, {q₀, q₁, q₂, q₃, q₄, q₅, q₆, q₇, q₈, q₉, q₁₀, q₁₁, q₁₂, q₁₃, q₁₄, q₁₅, q₁₆, q₁₇}, δ, q₀, {q₁₇})

Autômato Finito Determinístico (AFD)

M = ({a, b}, {q₀, q₁, q₂, q₃, q₄, q₅}, δ, q₀, {q₅})

Autômato Finito Determinístico (AFD) Simplificado

M = ({a, b}, {q₀, q₁, q₂, q₃, q₄}, δ, q₀, {q₄})