Você está na página 1de 1

Linguagens Formais e Autômatos

Prof. Andrei Rimsa Álvares

Lista de Exercícios XII


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) {anb2ncn | n ≥ 0}
b) {anbkcndk | n, k ≥ 0}

Propriedades de Fechamento para LLC's


Exercício 02) Sejam as linguagens:
L1 = {anbn | n ≥ 0}
L2 = {w ∈ {a,b}* | |w| mod 5 = 0}
Mostre, para cada linguagem a seguir, que ela é ou nã o uma LLC:
a) 𝐿"""!
b) 𝐿! ∩ """
𝐿"
c) 𝐿! ∩ 𝐿"

Você também pode gostar