Universidade Estadual Vale do Acaraú - UVA

Curso: Ciências da Computação

Atividade: Estudo das Linguagens Formais
Professor: Cláudio Carvalho

Lista 08

Nome: Wellington Luis da Costa Marciel

1. Considerando o Autômato com Pilha (AP) M a seguir, caracterize L(M ) e, usando Descrições
Instantâneas (DI’s), verifique se ababa e abaaba são aceitas por ele: (3.0 pontos)
(a, #, ◦#)
(a, ◦, ◦◦)
(a, •, ◦•)
(b, #, •#)
(b, ◦, •◦) (a, ◦, ε)
(b, •, ••) (b, •, ε)
(ε, ◦, ◦)
(ε, •, •)
(ε, #, #) (ε, #, #)
q0 q1 q2

L(M ) = {w ∈ {a, b}∗ | w = wR e |w| mod 2 = 0}

(q0 , ε, ◦ • ◦ • ◦#) (q1 , ε, ◦ • ◦ • ◦#)

(q0 , a, • ◦ • ◦ #)
(q0 , ba, ◦ • ◦#) (q1 , a, • ◦ • ◦ #)
(q0 , aba, • ◦ #) (q1 , ba, ◦ • ◦#)
(q0 , baba, ◦#) (q1 , aba, • ◦ #)
(q0 , ababa, #) (q1 , baba, ◦#)
(q1 , ababa, #) (q2 , ababa, #)

Árvore de DI’s com todas as possibilidades, mostrando que ababa não é aceita.

(q0 , abaaba, #) ` (q0 , baaba, ◦#) ` (q0 , aaba, • ◦ #) ` (q0 , aba, ◦ • ◦#) ` (q1 , aba, ◦ • ◦#) `

(q1 , ba, • ◦ #) ` (q1 , a, ◦#) ` (q1 , ε, #) ` (q2 , ε, #)

Como podemos ver, por esse caminho chegamos até o estado q2 que é final, processamos toda a palavra e a pilha
está vazia, demonstrando assim que abaaba é aceita.
2. Proponha um Autômato com Pilha para cada uma das linguagens a seguir: (4.0 pontos)

a) L01 = {w = am bn cp | m, n, p ∈ N, m = n ou m = p}
(a, #, ◦#)
(a, ◦, ◦◦) (b, ◦, ε) (c, #, #)
(ε, ◦, ◦)
(ε, #, #) (ε, #, #)
q1 q2 q3

(ε, #, #) (ε, #, #)

q0 q7

(ε, #, #) (ε, #, #)

q4 q5 q6
(ε, ◦, ◦) (ε, ◦, ◦)
(ε, #, #) (ε, #, #)
(a, #, ◦#) (b, ◦, ◦) (c, ◦, ε)
(a, ◦, ◦◦) (b, #, #)

b) L02 = {w = am bn cp dq | m, n, p, q ∈ N, e m + n = p + q}
(a, #, ◦#) (b, #, ◦#)
(a, ◦, ◦◦) (b, ◦, ◦◦) (c, ◦, ε) (d, ◦, ε)
(ε, ◦, ◦) (ε, ◦, ◦) (ε, ◦, ◦)
(ε, #, #) (ε, #, #) (ε, #, #) (ε, #, #)
q0 q1 q2 q3 q4

3. Dada a Gramática Livre de Contexto (GLC) G a seguir, caracterize L(G) e proponha um

Autômato com Pilha (AP) M tal que L(M ) = L(G). (3.0 pontos)
G = ({A, B, C, D, E}, {a, b, c}, P, A)
P = {A → BC | DE,
B → aBb | ε,
C → cC | ε,
D → aD | ε,
E → bEc | ε}
L(G) = {w = am bn cp | m = n ou n = p}
(a, #, ◦#)
(a, ◦, ◦◦) (b, ◦, ε) (c, #, #)
(ε, ◦, ◦)
(ε, #, #) (ε, #, #)
q1 q2 q3

(ε, #, #) (ε, #, #)

q0 q7

(ε, #, #) (ε, #, #)

q4 q5 q6
(ε, #, #) (ε, ◦, ◦)
(ε, #, #)
(a, #, #) (b, ◦, ◦◦) (c, ◦, ε)
(b, #, ◦#)