PUC-Rio Depto. de Inform atica INF1302 Linguagens e M aquinas INF1626 Linguagens Formais e Aut omatos P2 Prof.

rof. Fernando N aufel 21/06/2004 11h

Gabarito 1. (2,0 pontos) Construa uma m aquina de Turing com 6 ou menos estados que receba, como entrada, uma cadeia da linguagem da express ao regular #0(0 + 1)(0 + 1) # representando um n umero n na base 2 delimitado pelo s mbolo # por exemplo, #010# e produza, como sa da, a cadeia correspondente ao n umero n + 2 na base 2, tamb em delimitado por # neste caso, #100# . Resposta:

HIJK / ONML A

#,#,D

 HIJK / ONML B

0,0,D 1,1,D

#,#,E

HIJK / ONML C

0,0,E 1,1,E

 HIJK / ONML D

1,0,E

0,1,E

HIJK / ONML E

2. (2,0 pontos) Responda e justique: (a) (1,0 ponto) Se A e um conjunto recursivamente enumer avel e B e um subconjunto de A, ent ao B tamb em e recursivamente enumer avel? Por qu e? Resposta: N ao. Eis um contra-exemplo: para um alfabeto com dois ou mais s mbolos, o universo de todas as cadeias e um conjunto r.e. (recursivo, na verdade), mas existem linguagens sobre que n ao s ao r.e. Por exemplo, dada uma codica c ao em de todas as m aquinas de Turing e cadeias, a linguagem L = { xi | Mi rejeita xi } e um subconjunto de que n ao e r.e.

(b) (1,0 ponto) O que diz a Tese de Church-Turing? Por que a Tese de Church-Turing n ao pode ser provada formalmente? Resposta: A Tese de Church-Turing diz que toda fun c ao comput avel (em um sentido intuitivo) e comput avel por alguma m aquina de Turing. Em outras palavras, o modelo computacional da m aquina de Turing e t ao poderoso quanto qualquer modelo computacional razo avel. A Tese n ao pode ser provada formalmente por que a no c ao de fun c ao comput avel (em um sentido intuitivo) n ao e denida formalmente.

3. (2,0 pontos) Mostre que o problema Dada uma m aquina de Turing M sobre um alfabeto , a linguagem de M e igual a ? n ao e decid vel. Resposta: Suponha que existe uma mT Md que, dada a codica c ao de uma mT M , decide se a linguagem de M e ou n ao igual a . Mostraremos que, com esta mT Md , e poss vel decidir o problema que pergunta Dado i, a mT Mi aceita a cadeia xi ?, que e sabidamente n ao-decid vel. Esta contradi c ao prova que a mT Md n ao pode existir. Se Md existisse, poder amos construir a seguinte mT para decidir se Mi aceita xi : (a) Dada uma entrada i, construir a mT Mj descrita abaixo; (b) Rodar Md com entrada Mj ; (c) Responder o que Md responder. A mT Mj e constru da (em fun c ao de i) do seguinte modo: (a) Dada uma entrada x, rodar Mi com entrada xi ; (b) Se Mi aceitou xi , ent ao aceitar x; sen ao, rejeitar x. A linguagem de Mj e igual a se e somente se Mi aceitar xi .

4. (2,0 pontos) Mostre como, em geral, um aut omato de pilha com aceita c ao por pilha vazia pode ser transformado em um aut omato de pilha com aceita c ao por estado nal equivalente. Seja o mais claro poss vel. Resposta: Ver notas de aula, p. 6-5.

5. (2,0 pontos) Mostre que a linguagem L = { xxR yy R | x, y {a, b} } e livre de contexto. Resposta: A linguagem L e a concatena c ao de duas linguagens livres de contexto; logo, pelas propriedades de fechamento das llc, L tamb em e livre de contexto. A seguinte glc gera L: S TT T aT a | bT b |

As respostas devem ser bem justicadas e expostas com clareza. Uma hora e quarenta minutos de prova, sem consulta.