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:

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.

q0 q1 q2

0 1

0

1

1

0 a) 0001 b) 010011 c) 0000110

q0 q1 q2

1

0

1 0

0