Fundamentos Teóricos da Computação

Prof. Fabrício Rodrigues Inácio

Lista de Exercícios II
Autômatos de Pilha
Exercício 01) ​Para cada linguagem a seguir construa um autômato de pilha
determinístico, se possível. Se não for possível, construa um autômato de pilha
não determinístico:
a) {0​n​1​n​2​k​ | n, k ≥ 0}
b) {0​n​12​n​ | n ≥ 0}
c) {w0w​R​ | w ​∈​ {1, 2}​*​}
d) {0​n​1​m​ | m > n}
e) {0​n​1​n​ | n ≥ 0} ​∪​ {0​n​12​n​ | n ≥ 0}

Gramáticas Livres de Contexto

Exercício 01) ​Construa gramáticas livres de contexto para as seguintes
linguagens:
a) {0​n​1​n​2​k​ | n, k ≥ 0}
b) {0​n​12​n​ | n ≥ 0}
c) {w0w​R​ | w ​∈​ {1, 2}​*​}
d) {0​n​1​m​ | m > n}
e) {0​n​1​n​ | n ≥ 0} ​∪​ {0​n​12​n​ | n ≥ 0}

Formas Normais sobre GLC's

Exercício 01) ​Considere as seguintes linguagens:
● L​1​ = {0​n​1​n​2​k​ | n, k ≥ 0} 
● L​2​ = {0​n​12​n​ | n ≥ 0} 
● L​3​ = {w0w​R​ | w ​∈​ {1, 2}​*​} 
● L​4​ = {0​n​1​m​ | m > n} 
● L​5​ = {0​n​1​n​ | n ≥ 0} ​∪​ {0​n​12​n​ | n ≥ 0}
Construa uma gramática livre de contexto para cada uma delas:

Exercício 02)​ Para cada uma das gramáticas do exercício 1:

a) Apresente a gramática equivalente na forma normal de ​Chomsky​.
b) Apresente a gramática equivalente na forma normal de ​Greibach​.
c) Apresente o autômato de pilha equivalente.
 Fundamentos Teóricos da Computação
Prof. Fabrício Rodrigues Inácio

Lema do Bombeamento para LLC's

Exercício 01) ​Prove que as seguintes linguagens não são linguagens livres de
contexto usando o lema do bombeamento:
a) {a​n​b​2n​c​n​ | n ≥ 0}
b) {a​n​b​k​c​n​d​k​ | n, k ≥ 0}

Propriedades de Fechamento para LLC's

Exercício 01) ​Sejam as linguagens:
L​1 = {a​n​b​n​ | n ≥ 0} 
L​2 = {w ​∈​ {a,b}* | |w| mod 5 = 0} 
Mostre, para cada linguagem a seguir, que ela é ou não uma LLC:
a) L1

b) L1 ⋂ L2
c) L1 ⋂ L2