Lista de exercícios #12 – Soluções

Prof. Jorge C. Lucero

6 de outubro de 2021

5.1 Suponha EQGLC decidível e seja D a MT que a decide. Então, a seguinte MT decide TODASGLC :

A = “Sobre a entrada hGi, onde G é uma GLC:

1. Construa uma GLC H tal que L(H) = Σ∗ .
2. Rode D sobre a entrada hG, Hi. Se aceita, aceite; se rejeita, rejeite.”

Suponha que hGi ∈ TODASGLC . Então, L(G) = L(H) e, portanto, hG, Hi ∈ EQGLC . Assim, D aceita
hG, Hi e consequentemente A aceita hGi. Por outro lado, se hGi ∈
/ TODASGLC , então, L(G) 6= L(H) e
hG, Hi ∈
/ EQGLC . Assim, D rejeita hG, Hi e consequentemente A rejeita hGi. No entanto, este resultado
contradiz o Teorema 5.13, o que prova que EQGLC é indecidível.

5.2 A seguinte MT reconhece EQGLC :

B = “Sobre a entrada hG, Hi, onde G e H são GLCs:

1. Gere cadeias si ∈ Σ∗ , i = 1, 2, . . ., em ordem lexicográfica. Cada vez que gera uma cadeia:
2. Rode a MT que decide AGLC sobre ambas hG, si i e hH, si i. Se aceita uma das
cadeias e rejeita a outra, aceite.”

5.3 Um emparelhamento é:
     h ih i
ab ab aba b b aa aa
abab abab b a a a a

5.4 Não é possível concluir que A é regular. Como contra-exemplo, considere A = {an bn | n ≥ 0} (não regular),
B = {a}. Uma redução A ≤m B é f : Σ∗ → Σ∗ definida por

a, se w tem a forma an bn para algum n ≥ 0,


f (w) =
b, no caso contrário.

Assim, w ∈ A → f (w) = a → f (w) ∈ B, e, também, w ∈

/ A → f (w) = b → f (w) ∈
/B
5.5 Resposta no livro.
5.7 Resposta no livro.

5.17 Seja a o conjunto de dominós

1t1
   t2   tn 
1 1
P = b1
, b2 , . . . , bn .
1 1 1

Existem três casos possíveis:

i. Se em todos os dominós a cadeia superior tem comprimento maior que a inferior, ou se em todos os
dominós a cadeia superior tem comprimento menor que a inferior, então o conjunto não possui um
emparelhamento.
ii. Se em algum dominó as cadeias superior e inferior têm o mesmo comprimento, então essa cadeia
constitui um emparelhamento.
iii. Se existem i e j tais que ti > bi e tj < bj , então podemos formar um emparelhamento juntando
(ti −bi ) peças do j-ésimo dominó com (bj −tj ) peças do i-ésimo dominó. Dessa forma, as cadeias de 1s
formadas na parte superior e na parte superior terão o mesmo comprimento: o comprimento da cadeia
superior é ti (bj −tj )+tj (ti −bi ) = ti bj −tj bi , e o da cadeia inferior é bi (bj −tj )+bj (ti −bi ) = −bi tj +bj ti .
Assim, a seguinte MT decide o PCP sobre um alfabeto unário:

S = “Sobre a entrada hP i, onde P é uma instância do PCP sobre um alfabeto unário na forma mostrada
acima:
1. Se, para algum i, ti = bi , aceite.
2. Se existem i e j tais que ti > bi e tj < bj , aceite; caso contrário, rejeite.”
5.19 A seguinte MT decide o PCPB

S = “Sobre a entrada hP i, onde P é uma instância do PCPB:

1. Se existe alguma peça com a mesma cadeia nas partes superior e inferior, aceite; caso contrário,
rejeite.”

5.22 Seja A Turing-reconhecível e M a MT que reconhece A. Uma redução A ≤m AMT é f : Σ∗ → Σ∗ definida

por f (w) = hM, wi, pois w ∈ A ↔ M aceita w ↔ hM, wi ∈ AMT .
Por outro lado, se A ≤m AMT então A é Turing-reconhecível pelo Teorema 5.28.
5.23 Seja A decidível e M a MT que decide A. Uma redução A ≤m 0∗ 1∗ é f : Σ∗ → Σ∗ definida por

01, se M aceita w,
f (w) =
10, se M rejeita w,

pois w ∈ A ↔ M aceita w ↔ f (w) ∈ 0∗ 1∗ .

Por outro lado, se A ≤m 0∗ 1∗ então A é decidível pelo Teorema 5.22.