Pontifícia Universidade Católica do Rio Grande do Sul

Escola Politécnica
Ciência da Computação
Linguagens, Autômatos e Computação

1. DESAFIO I
Suponha, por contradição, que L é regular. Então, pelo lema do bombeamento, existe um
número inteiro positivo p (chamado de "comprimento de bombeamento") tal que toda palavra w
em L com comprimento maior ou igual a p pode ser escrita como w = xyz, onde:
1. |y| > 0
2. |xy| ≤ p
3. Para todo i ≥ 0, a palavra xy^iz está em L.
Vamos agora encontrar uma palavra w em L que não pode ser dividida em três partes
(x,y,z) que satisfaçam as condições acima. Considere a palavra w = a^pba^pb, que claramente
pertence a L, pois ela pode ser escrita como w = xy^iz, onde:
• x = ε (a palavra vazia)
• y=a
• z = a^(p-1)b a^p
Note que |y| = 1, |xy| ≤ p e, para i = 2, temos xy^iz = a^(p+1)ba^pb, que também pertence
a L. No entanto, se tentarmos bombear ainda mais, por exemplo, i = 3, teríamos 𝑥𝑦^3𝑧 = 𝑎^(𝑝 +
2)𝑏𝑎^𝑝𝑏, que não pertence a L, pois a parte "a^(p+2)ba^p" não é um palíndromo. Portanto,
chegamos a uma contradição e concluímos que L não é regular.
2. DESAFIO II

Aluno: Cássio Jones Dhein da Silva 2023 Prof. Júlio Pereira Machado