UNIVERSIDADE ESTADUAL DE MARING UEM

CENTRO DE TECNOLOGIA CTC

DEPARTAMENTO DE INFORMTICA DIN
BACHARELADO EM CINCIA DA COMPUTAO
DISCIPLINA: TEORIA DA COMPUTAO
PROFESSOR: YANDRE MALDONADO E GOMES DA COSTA
Lista de Exerccios no 4 Autmatos e Expresses Regulares
1. Descreva Expresses Regulares equivalentes aos autmatos representados
pelos diagramas descritos a seguir:
a.
a

S0

S2

S1
a

a(aa)*bc*d

S3

b.
a

S0

S1

S3
c

S2

a(cd)*ba(ba)*

S4

2. Construa AFDs para as seguintes Expresses Regulares:

a. ab(bb)*cc*
c
a
S0

S1

S2

S4
b

b
S3

b. cc*b*+ab*cc*
c

S0

S1

S2

a
S3

S4
c

c. bcc*(b+a)*
b, a

c
b

S0

S1

b, a
S2

S3

3. Descreva a linguagem associada ao autmato descrito pela seguinte tabela

de transio:
A1 = < {a, b}, {S0, S1, S2, S3}, S0, , {S0, S2} >
Com dada pela seguinte tabela:
a
S0
S1
S1
S2
S2
S3
S3
S0

b
S3
S0
S1
S2

a
S0

S1

b
a

O diagrama no obrigatrio
na resposta deste exerccio.

b
S3

S2

a
L = { w {a, b}* | |w|a + |w|b = 2n n0 }
ou
L = {w {a, b}* | a soma das quantidades de smbolos a e de smbolos b par}

4. Dada a seguinte tabela de transio, encontre uma Expresso Regular

equivalente e descreva um Autmato Finito Determinstico equivalente:
A2 = < {0,1}, {S0, S1, S2, S3}, S0, , {S3} >
Com dada pela seguinte tabela:
0
S0
{S0, S1}
S1
{S2}
S2
{S3}
S3
{S3}

1
{S0}
{S2}

{S3}

(0+1)*0(0+1)0(0+1)*
0

1
0

0
S0

0
S012

S01
1
1

S02

S0123

1
0

1
0

0
S013

S023

1
S03
0