Universidade Estadual de Feira de Santana - Engenharia de Computação

EXA544 – Linguagens Formais e Compiladores – Lista de exercícios

Profa. Fabiana Cristina Bertoni

1. Seja o alfabeto  = {a, b, c, d, e} e as cadeias u = {abc} e v = {de}. Determine:

a. u2 c. u0
b. u2v3 d. |uv|

2. Seja o alfabeto  = {0, 1} e considere as cadeias x = {01} e y = {110} sobre o alfabeto . Determine as
cadeias xy, xyx e seus comprimentos. Escreva os conjuntos 2, * e +.

3. Construa uma Gramática Regular e o autômato que reconheça as sentenças das seguintes linguagens:
a. L = {w  {0, 1}* / w contém número par de 1’s}
b. L = {w  {0, 1}* / w contém exatamente três 1’s, não necessariamente consecutivos}

4. Considere os autômatos finitos M1 e M2 a seguir:

Utilizando as propriedades das linguagens regulares, construa os autômatos finitos descritos a seguir:
0,1 0,1
a. M3 tal que L(M3) = L(M1)*
0 0
b. M4 tal que L(M4) = L(M1) . L(M2) M1

c. M5 tal que L(M5) = L(M1)  L(M2)

0,1 0,1
d. M6 tal que L(M6) = ( L(M1)  L(M2) )*
M2 1 1

5. Construa a MEF indeterminística com transições vazias equivalente à expressão regular 1*+00.

6. Seja o AFN M = ({q0,q1,q2,q3}, {0,1}, , q0, {q3}), com o mapeamento  dado por:
(q0,0) = {q0} (q0,1) = {q1}
(q1,0) = {q2} (q1,1) = {q1,q3}
(q2,0) = { } (q2,1) = {q2,q3}
(q3,0) = {q3} (q3,1) = { }
Encontre o AFD equivalente.

7. Encontre o AFN equivalente ao AFN- M = ({q0,q1,q2,q3,q4}, {a,b,c,d}, , q0, {q2,q4}), com o mapeamento 
dado por:
a b c d 
q0     {q1,q3}
q1 {q1}    {q2}
q2  {q2}   
q3   {q3}  {q4}
q4     {q4}