UNIVERSIDADE ESTADUAL DE MARINGÁ – UEM

CENTRO DE TECNOLOGIA – CTC

DEPARTAMENTO DE INFORMÁTICA – DIN
BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO
DISCIPLINA: TEORIA DA COMPUTAÇÃO
PROFESSOR: YANDRE MALDONADO E GOMES DA COSTA

Lista de Exercícios no 3 – AFD, AFND, Transformação AFND-AFD,

Minimização

1. Desenvolva autômatos que reconheçam as seguintes linguagens:

a. {w ∈ {a, b}* | aaa é subpalavra de w}
a, b a, b

a a a
S0 S1 S2 S3

b. {w ∈ {a, b}* | o sufixo de w é aa}

a, b

a a
S0 S1 S2

c. {w ∈{a, b}* | w possui uma quantidade ímpar de a e de b}

a
S0 S1
a
b b b b
a
S2 Sf
a
 d. {w ∈{a, b}* | w possui uma quantidade par de a e ímpar de b ou
uma quantidade ímpar de a e par de b}

a
S0 S1
a
b b b b
a
S2 S3
a

e. {w ∈{a, b}* | o quinto símbolo da direita para a esquerda de w é a}

a, b

a a, b a, b a, b a, b
S0 S1 S2 S3 S4 S5

2. A partir de AFNDs para as linguagens descritas nos itens a e b do exercício

anterior, descreva AFDs (mostrando o processo de transformação) e
encontre os autômatos mínimos para os mesmos.

a)
b a b

a a a b a
S0 S01 S012 S0123 S03 S013
b
b b a

A renomeação dos estados não é obrigatória, mas é

Renomeando os estados: recomendável em algumas situações para que os estados
resultantes das fusões de outros estados, no processo de
minimização, não tenham nomes muito confusos.

b a b

a a a b a
SA SB SC SD SE SF
b
b b a
 SB ⊗
SC ⊗ ⊗
SD X X X
SE X X X
SF X X X
SA SB SC SD SE

b a, b

a a a
SA SB SC SDEF
b
b

b)
b a
a a
S0 S01 S012
b
b

Renomeando os estados:
b a
a a
SA SB SC
b
b

SB ⊗
SC X X
SA SB

O autômato já se encontra minimizado!

3. Minimize os autômatos mostrados nos diagramas a seguir:

a) a

S3
a
Este item pode ser resolvido sem a
a
introdução de saída com o símbolo ‘b’ a
S0 a S1 b partir do estado S0, pois, pode-se
S4
identificar a não-equivalência entre S0 e
a todos os demais estados trivialmente a
b
b partir do símbolo ‘a’.
S2

S1 ⊗
S2 ⊗
S3 X X X
S4 X X X
S0 S1 S2 S3
a

a
S0 a S12 S34
b

b)
S0 b a
S2 S4 a Para aplicar o algoritmo de minimização
estudado, o autômato deve ter função
b de transição total. Para isto,
a a b
a acrescentou-se estas transições, já que
S5 não é estado final e não tem outras
S1
b S3 b S5 transições que partem dele.
a, b

S1
S2 X X
S3 X X
S4 X X
S5 ⊗ ⊗ X X X
S0 S1 S2 S3 S4

a a

S5 é um estado morto, se a função do

S01 b b autômato for considerada parcial, este
S234 S5 a, b estado poderia ser excluído.