Professional Documents
Culture Documents
Lista 5 - Automatos
Lista 5 - Automatos
1. Use o Lema do Bombeamento para mostrar que as seguintes linguagens não são
livres de contexto.
(b) Lb = {w ∈ {0, 1}∗ : w = wR , |w|0 = |w|1 }.
Solução. Mostraremos que Lb = {w ∈ {0, 1}∗ : w = wR , |w|0 = |w|1 } não é
uma linguagem livre de contexto (LLC). Para tanto, suponha por absurdo que Lb
é uma LLC. Seja p ∈ N o comprimento de bombeamento para Lb , garantida a sua
existência pelo Lema do Bombeamento. Seja s = 0p 1p 1p 0p . Note que s ∈ Lb , pois
|s|0 = 2p = |s|1 e sR = 0p 1p 1p 0p = s.
Como |s| ≥ p, pelo Lema do Bombeamento, s pode ser bombeada e pode ser dividida
em s = uvxyz de modo que
A condição (c) do Lema garante que o fator da palavra s, vxy, pode conter apenas
0’s, conter 0’s e 1’s e conter apenas 1’s. Vamos analisar os casos:
(i) Se vxy contiver apenas 0’s ou apenas 1’s, a condição (b) garante que v ou
y é não vazio. Logo, temos que s′ = uv 2 xy 2 v ∈ / Lb pois, como temos pelo
menos um 0 ou pelo menos um 1’s sendo bombeado, existe um k ∈ N tal que
|s′ |0 = 2p − k < 2p = |s′ |1 ou |s′ |1 = 2p − k < 2p = |s′ |0 . Violamos, assim, a
condição (a) do Lema do Bombeamento. Absurdo!
(ii) Se vxy contiver 0’s e 1’s, a condição (c) do Lema do Bombeamento garante que
se v tem 0’s e 1’s, x e y terão somente 1’s ou x e y terão somente 0’s (ou serão
ε). Se y tem 0’s e 1’s, v e x terão somente 0’s ou v e x terão somente 1’s (ou
serão ε). Ou ainda, se x tem 0’s e 1’s, v contém somente 0’s (ou pode ser ε se
1
|y| =
̸ 0) e y contém somente 1’s (ou pode ser ε se |v| =
̸ 0) ou v contém somente
1’s e y contém somente 0’s (respeitando a condição (b) do Lema). Em qualquer
um dos casos citados acima, s′ = uv 2 xy 2 z ∈
/ Lb , pois em qualquer um deles,
′ ′R
teremos s ̸= s . Violamos, assim, a condição (a) do Lema do Bombeamento.
Absurdo!
Observe que a condição (c) do Lema do Bombeamento garante que o fator da palavra
s, vxy, pode: ter somente a’s, ter apenas a’s e b’s, apenas b’s, ter apenas b’s e c’s ou
ter somente c’s.
Nos casos em que o fator vxy tenha somente a’s ou somente b’s, temos que s′ =
uv 3 xy 3 z ∈
/ Ld , pois a condição (b) nos garante que v ou y seja não vazia. Logo,
∃ℓ ∈ N tal que s′ = ap+2ℓ bp+1 cp+2 ou s′ = ap bp+1+2ℓ cp+2 , fazendo com o que |s′ |a =
p + 2ℓ ≥ p + 2 = |s′ |c ou |s′ |b = p + 1 + 2ℓ ≥ p + 2 = |s′ |c , violando, assim, a condição
(a) do Lema do Bombeamento. Absurdo!
Nos casos em que o fator vxy tenha somente c’s, temos que s′ = uv 0 xy 0 z ∈ / Ld , pois
a condição (b) nos garante que v ou y seja não vazia. Logo, ∃ℓ ∈ N, 1 ≤ ℓ ≤ p + 2 tal
que s′ = ap bp+1 cp+2−ℓ , fazendo com o que |s′ |b = p + 1 ≥ p + 2 − ℓ = |s′ |c , violando,
assim, a condição (a) do Lema do Bombeamento. Absurdo!
2
Nos casos em que o fator vxy tenha a’s e b’s, temos que s′ = uv 3 xy 3 z ∈
/ Ld , pois s′
terá, pelo menos, p + 2 a’s ou p + 3 b’s.
Com efeito, analisaremos todos os possı́veis casos:
Note que a condição (b) do Lema garante que pelo menos um dentre os números
m, n, q é maior ou igual a 1, fazendo com o que |s′ |a ≥ |s′ |c ou |s′ |b ≥ |s′ |c .
Portanto, s′ não poderia pertencer a Ld , contradizendo a condição (a) do Lema
do Bombeamento. Absurdo!
• se v for da forma v = am bh e y = bq , temos que x = bn , com m, n, q, h ∈ N ∪ {0}
quaisquer, m ≤ p, h + n + q ≤ p + 1 e respeitando a condição (b) do Lema.
Assim,
s′ = uv 3 xy 3 z = ap−m (am bh )3 bn (bq )3 bp+1−q−n−h cp+2
= ap−m a3m b3h bn b3q bp+1−q−n−h cp+2
= ap+2m bp+1+2q+2h cp+2 .
Note que a condição (b) do Lema garante que pelo menos um dentre os números
m, q, h é maior ou igual a 1, fazendo com o que |s′ |a ≥ |s′ |c ou |s′ |b ≥ |s′ |c .
Portanto, s′ não poderia pertencer a Ld , contradizendo a condição (a) do Lema
do Bombeamento. Absurdo!
• se v for da forma v = am e y = bn , temos que x = aq bh , com m, n, q, h ∈ N ∪ {0}
quaisquer, m + q ≤ p, n + h ≤ p + 1 e respeitando a condição (b) do Lema.
Assim
s′ = uv 3 xy 3 z = ap−m−q (am )3 aq bh (bn )3 bp+1−n−h cp+2
= ap−m−q a3m aq bh b3n bp+1−n−h cp+2
= ap+2m bp+1+2n cp+2 .
Note que a condição (b) do Lema garante que pelo menos um dentre os números
m, n é maior ou igual a 1, fazendo com o que |s′ |a ≥ |s′ |c ou |s′ |b ≥ |s′ |c .
Portanto, s′ não poderia pertencer a Ld , contradizendo a condição (a) do Lema
do Bombeamento. Absurdo!
3
Por fim, nos casos em que vxy tenha somente b’s e c’s, temos que s′ = uv 0 xy 0 z ∈
/ Ld ,
′ ′
pois se v ou y tiverem pelo menos um b, temos que |s |b ≤ p = |s |a . Ainda, se v ou
y tiverem pelo menos um c, temos que |s′ |c ≤ p + 1 = |s′ |b . Portanto, em todos os
casos, contradizemos a condição (a) do Lema do Bombeamento. Absurdo!
Em todos os casos, chegamos a uma contradição à condição (a) do Lema do Bom-
beamento e, portanto, Ld não é uma LLC.
■
O conjunto de estados Q = Q1 × Q2 ;
O alfabeto Σ;
O conjunto das variáveis da pilha Γ = Γ1 ;
A função de transição δ : Q × Σε × Γε −→ P(Q × Γε ) cujas transições não
vazias são definidas como segue: para quaisquer q11 , q21 ∈ Q1 , q12 , q22 ∈ Q2 , α ∈ Σ
e a, b ∈ Γε , δ((q11 , q12 ), α, a) = {((q21 , q21 ), b)} para α ̸= ε, δ1 (q11 , α, a) = {(q21 , b)} e
δ2 (q12 , a) = q22 e δ((q11 , q12 ), ε, a) = {((q21 , q12 ), b)} para δ1 (q11 , ε, a) = {(q21 , b)}.
O estado inicial q0 = (q01 , q02 );
O conjunto de estados finais F = F1 × F2 .
4
(a) r0 = q0 = (q01 , q02 ) e s0 = ε;
(b) Para i = 0, · · · , m − 1, temos que (ri+1 , b) ∈ δ(ri , wi+1 , a), si = at e si+1 = bt,
para algum a, b ∈ Γε e t ∈ Γ∗ ;
(c) rm ∈ F = F1 × F2 .
1 2
((qi+1 , qi+1 ), b) ∈ δ((qi1 , qi2 ), wi+1 , a)
5
(⇐)L1 ∩ L2 ⊆ L(M )
Seja w ∈ L1 ∩ L2 qualquer. Mostraremos que w ∈ L(M ). Como w ∈ L1 ∩ L2 , temos
que w ∈ L1 e w ∈ L2 .
Como w ∈ L1 , pela definição de computação, w pode ser escrito como w = w1 · · · wm , m ∈
N, onde cada wi ∈ Σε e as sequências de estados r01 , · · · , rm
1
∈ Q1 e cadeias s0 , · · · , sm ∈
Γ∗1 existem, satisfazendo
Como w ∈ L2 , pela definição de computação, w pode ser escrito como w = w̃1 · · · w̃ℓ , ℓ ∈
N, onde cada w̃i ∈ Σ e as sequências de estados r02 , · · · , rℓ2 ∈ Q2 existem, satisfazendo
6
(a) r0 = q0 = (q01 , q02 ) e s0 = ε;
(b) Para i = 0, · · · , m − 1, temos que (ri+1 , b) ∈ δ(ri , wi+1 , a), si = at e si+1 = bt
para algum a, b ∈ Γε e t ∈ Γ∗ ;
1
(c) rm = (rm , rℓ2 ) ∈ F1 × F2 = F .
i = 1, . . . , 5 i = 6, . . . , 10 i = 11, . . . , 15 i = 16, . . . , 20
q1 01#01 xq7 1#x1 xx#xq5 1 xx#q8 xx
xq2 1#01 q7 x1#x1 xx#q6 xx xx#xq8 x
Ci x1q2 #01 xq1 1#x1 xxq6 #xx xx#xxq8
x1#q4 01 xxq3 #x1 xq7 x#xx xx#xx⌞⌟qaceita
x1q6 #x1 xx#q5 x1 xxq1 #xx
7
Observe que na configuração C23 , quando a máquina está estado q4 , não há nenhuma
transição com um 1. Logo, o Sipser indica que, nesses casos, a máquina vai para o
estado qrejeita .
■