Universidade Federal de Goiás – UFG Linguagens Formais e Autômatos – 2022/1

Instituto de Informática – INF Prof. Humberto J. Longo – longo@inf.ufg.br

Atividade AA-06 – Jorge Abrão Neto (201801509)

Nesta tarefa deve-se (i) propor um autômato finito não-determinístico (NFA ou NFA-ε, com
pelo menos uma transição não determinística ou uma transição ε) que reconheça as cadeias da
linguagem selecionada (especificar a tupla que define o NFA proposto e desenhar o correspon-
dente diagrama de estados); (ii) converter o NFA/NFA-ε proposto para um autômato finito
determinístico (apresentar os principais elementos dessa conversão). Atenção: NFA’s criados
a partir do simples acréscimo de transições δ(si , ε) = si (ε-laços) a um DFA não serão con-
siderados corretos, por não permitirem uma avaliação razoável do aprendizado dos conceitos
abordados nesta atividade avaliativa. (Cada aluno(a) deve consultar na descrição da atividade
AA-06, na disciplina INF0333A da plataforma Turing, qual é a linguagem associada ao seu
número de matrícula. A descrição da linguagem está disponível no arquivo “Lista de linguagens
regulares” da Seção “Coletânea de exercícios”.)

L02 = 0∗ ∪ 0(10)∗

• Autômato finito não determinístico (NFA) que reconhece as cadeias da linguagem L02 :
N02 = ⟨Σ = {0, 1}, S = {s0 , s1 , s2 , s3 , s4 }, s0 , δ, F = {s6 , s9 }⟩, com a função δ definida por:

δ 0 1 ε
s0 {s1 , s2 }
s1 s3
s2 s4
s3 s5
s4 s6
s5 s8
s6 s7
s7 s2
s8 s9
s9 s1

• Diagrama de estados do NFA N02 :

0 1 0 1
ε s1 s3 s5 s8 s9

N02 s0
ε
1 0
ε s2 s4 s6

0 s7 1

1
Elementos da transformação NFA/NFA-ε → DFA

• Fecho-ε do estado s0 do NFA N02 :

Fε (s0 ) = {s0 , s1 , s2 }.

• Tabela da função τ de transições do NFA N02 :

τ 0 1
s0 {s3 } {s4 }
s1 {s3 } ∅
s2 ∅ {s4 }
s3 ∅ {s5 }
s4 {s6 } ∅
s5 {s8 } ∅
s6 ∅ {s7 }
s7 {s2 } ∅
s8 ∅ {s9 }
s9 {s3 } ∅

Autômato finito determinístico (DFA) que reconhece as cadeias da linguagem L02

1 0 1
0 {s3 } {s5 } {s8 } {s9 }

M02 {s0 , s1 , s2 }
0

0
1 {s4 } {s6 }

1 1

{s2 } {s7 }
0