BCC244-Teoria da Computao DECOM

Prof. Luclia Figueiredo ICEB - UFOP

Lista de Exerccios 03

Mquinas de Turing - Computabilidade

1. Seja L uma linguagem no livre de contexto. Mostre que:

(a) Se X uma linguagem finita, ento L X no livre de contexto.

Seja X finita e suponha, por contradio, que L X seja livre de contexto. Como X
finita, temos que L X finita e, portanto, livre de contexto, Como a classe das
linguagens livres de contexto fechada em relao interseo, teramos que (L X)
(L X) livre de contexto. Mas (L X) (L X) = L e L no livre de contexto.
Portanto, se X finita, ento L X no livre de contexto.
(b) Se X uma linguagem regular, ento L X pode ser livre de contexto ou pode no ser.
Considere L = . Temos que regular e livre de contexto. Por outro lado,
considere L = L. Temos que regular e L no livre de contexto. Portanto, se L
no livre de contexto e X regular, L X pode ser livre de contexto ou no.

2. Construa uma MT que reconhea a linguagem a b .

b b, D t t, D

a a, D b b, D

3. Descreva, em linguagem de alto nvel, uma MT que reconhea a linguagem {an bn cn | n 0}.

while current-symbol == a
escreve x, anda para a direita
while current-symbol <> b
escreve o mesmo simbolo lido, anda para direita
escreve y, anda para a direita
while current-symbol <> c
escreve o mesmo simbolo lido, anda para direita
escreve z, anda para a esquerda
while current-symbol <> x
escreve o mesmo simbolo lido, anda para esquerda
escreve x, anda para a direita
if current-symbol == t then aceita else rejeita.

OBS: Note que, se o nmero de as for maior do que o nmero de bs ou do que o nmero de
cs, a mquina entra em loop e, portanto, o string no ser aceito. Se o nmero de bs ou de cs
for maior do que o nmero de as, o smbolo encontrado no final do loop mais externo no ser
branco e, portanto, o string no ser aceito.
4. Prove que a classe das linguagens Turing-decidveis (ou recursivas) fechada em relao as
operaes de unio, interseo e concatenao.

5. Prove que a classe das linguagens Turing-reconhecveis (ou recursivamente enumerveis)

fechada em relao as operaes de unio, interseo e concatenao.

6. Seja L uma linguagem no recursiva.

(a) Mostre que, se X finita ento L X no recursiva.

(b) Mostre que L no recursiva.
(c) Mostre que, se L LRE, ento L no LRE.

7. POSCOMP 2008 - Assinale a afirmativa INCORRETA:

Existe uma Mquina de Turing U que simula qualquer outra Mquina de Turing M sobre
qualquer entrada w.
A Tese de Church-Turing afirma que o conceito informal de procedimento efetivo cap-
turado pelo conceito formal de Mquina de Turing.
Uma linguagem recursivamente enumervel se, e somente se, ela aceita por alguma
Mquina de Turing.
Existe uma Mquina deTuring T que, dada uma Mquina de Turing M e uma entrada w
para M , T determina, em um nmero finito de passos, se M pra ou no para a entrada w.
Toda linguagem recursiva recursivamente enumervel, mas o inverso nem sempre
verdadeiro.

8. Sejam L e L uma linguagem e o seu complemento, respectivamente. Marque as situaes

abaixo que no podem ocorrer:

L e L so ambas recursivas.
L recursivamente enumervel, mas no recursiva, e L no recursivamente enumer-
vel.
L e L so ambas recursivamente enumerveis, mas no so recursivas.
L regular e L no regular.
L livre de contexto e L no livre de contexto.

9. Assinale as afirmativas CORRETAS:

Toda Linguagem enumervel recursivamente enumervel.

Toda Linguagem Livre de Contexto decidvel.
Existem linguagens Regulares que no so decidveis.
Toda linguagem reconhecvel ou co-reconhecvel.
O conjunto de todos os strings sobre um alfabeto recursivamente enumervel.
O conjunto de todas as MTs enumervel, mas no recursivamente enumervel.
O conjunto de todos as MTs cuja linguagem vazia enumervel mas no recursiva-
mente enumervel.
10. Com relao a linguagens e seus aceitadores (ou reconhecedores), marque as afirmativas a
seguir que so corretas.

{w wR | w {a, b} } aceita por autmato de pilha determinista.

{w c wR | w {a, b} } aceita por autmato finito no determinista.
{a2n bm | n, m 0} aceita por autmato finito no determinista.
{w c w | w {a, b} } aceita por autmato de pilha determinista.
{M | M uma MT e M pra para alguma entrada } reconhecida por uma Mquina de
Turing no determinista.
{w w | w {a, b} } aceita por uma mquina de Turing que sempre pra.

11. Considere as seguintes linguagens, sobre um dado alfabeto :

ARE = {hD, si | o AFD D aceita a string s}

ERE = {hDi | a linguagem reconhecida pelo AFD D }
AT M = {hM, si | a mquina de Turing M aceita a string s}
ET M = {hM i | a linguagem reconhecida pela mquina de Turing M }
ALLT M == {hM i | a linguagem reconhecida pela mquina de Turing M }

Marque a afirmativas CORRETA:

Todas as linguagens acima so enumerveis.

Todas as linguagens acima so decidveis.
Apenas as linguagens ET M e ALLT M no so reconhecveis.
A linguagem ET M co-reconhecvel.
A linguagem ALLT M no reconhecvel, nem co-reconhecvel.
A linguagem AT M reconhecvel e co-reconhecvel.

12. Um problema de deciso um problema cuja resposta sim ou no. Por exemplo, determinar se
um string w pertence a uma linguagem L, ou determinar uma mquina de Turing M reconhece
a linguagem vazia, ou determinar se x + y = z. Uma instncia de um problema de deciso um
caso particular deste problema. Por exemplo, 3 + 2 = 5 uma instncia positiva do problema
x + y = z e 2 + 3 = 10 uma instncoa negativa deste problema. Dizemos que um problema
de deciso P decidvel, se existe uma mquina de Turing que decide este problema, isto ,
que capaz de determinar, dada uma instncia qualquer do problema como entrada, se esta
uma instncia positiva ou no .

Dizemos que um problema de deciso P reduz para outro problema de deciso P 0 , se existe um
algoritmo (ou mquina de Turing) que converte cada instncia do Problema P em uma instncia
do problema P 0 .

Considere trs problemas de deciso P1 , P2 e P3 . Sabemos que P1 decidvel e P2 no no

decidvel. Marque a afirmativa CORRETA:

P3 decidvel se P1 reduz para P3 .

 P3 no decidvel se P3 reduz para P2 .
P3 no decidvel se P2 reduz para P3 .
P3 decidvel se P3 reduz para o complemento de P2 .

13. (1,0 ponto) O "poder computacional" de um computador consiste na classe de problemas que
podem ser resolvidos por meio de programas executados nesse computador. Considere um
computador moderno usual, tal como o seu PC. Com base nos resultados da teoria de mquinas
de Turing, analise as seguintes afirmativas e marque aquelas que so CORRETAS:

Um computador com vrios processadores, que pode executar computaes em paralelo,

tem o mesmo poder computacional que outro que tenha um nico processador.
Um computador que tenha uma memria com acesso apenas sequencial tem menor poder
computacional do que outro que tenha acesso direto a qualquer posio de memria.
Um computador com vrios dispositivos de memria tem maior poder computacional que
outro computador com apenas uma rea de memria, com a mesma capacidade total de
todos os dispositivos de armazenamento do primeiro.
Se o computador tem vrios dispositivos de memria e pode ler dados simultaneamente
em cada um desses dispositivos, ele tem maior poder computacional do que se apenas
pudesse ler dados de um nico dispositivo de cada vez.
Um computador que tenha apenas um tipo de instruo, que pode ler o valor em uma posi-
o qualquer de memria e determinar o valor a ser escrito na memria e a prxima instru-
o a ser executada tem o mesmo poder computacional que um computador moderno, que
inclui instrues para carregar e armazenar dados, com diversos tipos de endereamento
memria, intrues de teste e desvio, intrues para realizar operaes aritmticas etc.

14. A tabela a seguir resume informaes que aprendemos ao longo do curso sobre a hierarquia
de linguagens formais Hierarquia de Chomsky. Preencha as lacunas da tabela, usando como
modelo as informaes j preenchidas.
Obesrvaes:

(a) Utilize a seguinte simbologia: AF (Autmato de Estados Finitos), AP (Autmato de Pi-

lha), MT (Mquina de Turing), ER (Expresso Regular), GLC (Gramtica Livre de Con-
texto), GSC (Gramtica Sensvel ao Contexto), GI (Gramtica Irrestrita).
(b) Na coluna entitulada "Exemplo", d uma exemplo de uma linguagem que pertena classe
indicada e que no pertena classe imediatamente anterior.
(c) Na coluna entitulada "ND", responda pergunta "No determinismo introduz maior poder
computacional ao modelo?".
(d) Na coluna entitulada "Fecho", indique em relao a quais das seguintes operaes a classe
de linguagens fechada: (unio), (concatenao), ? (fecho de Kleene), (interseo)
e (complemento).
 Hierarquia de Linguagens
Classe Especificao Exemplo Reconhecedor ND Fecho
?
Regular (0|1)

Livre de
Contexto
Sensvel ao {0p | p primo} MT limitada ? , , ?, ,
Contexto linearmente
Recursiva Gramtica no , , ?, ,
irrestrita
Recursiv. Gramtica
enumervel irrestrita