FACID - FACULDADE INTEGRAL DIFERENCIAL

SISTEMAS DE INFORMAO BLOCO VI

COMPILADORES
Prof. Leonardo Saraiva

LISTA DE EXERCCIOS
1. Dada uma linguagem L, como provar que L regular ? Descreva atravs de
exemplos
2. Cite algumas diferenas entre autmatos finitos determinsticos e autmatos
finitos no determinsticos
3. Dada uma cadeia w, quando podemos dizer que w aceita por um autmato?
4. Construa um autmato para reconhecer somente a cadeia 10110
5. Construa um autmato para reconhecer os nmeros naturais
6. Quais cadeias so reconhecidas pelo autmato abaixo:
0

q0

1
q1

a) 0001
b) 010011
c) 0000110

q2

7. Quando uma linguagem dita Linguagem Regular ou tipo 3 ?

8. Dada a expresso regular r = (a+b)*aa(a+b)*, responda:
a) Qual a L(r) ?
b) Escreva a L(r) em forma de conjunto
c) L(r) regular ?
9. Gere o autmato para a seguinte G(V, T, P, S), onde:
V = {S, A} T = {a,b} P = {S ? aA, A ? abS | b} S = {S}
10. Ache o AFD equivalente ao AFND abaixo.
0

q0

1
0

q1

q2