Está en la página 1de 1

Examen departamental de teor a de la computaci on 1.

a ) Da una gramatica libre de contexto que genere el lenguaje L = {w | la longitud de w es impar }, el alfabeto de L es = {0, 1}. b ) Da una descripci on informal del aut omata de pila y del diagrama de estados para el lenguaje del inciso anterior. 2. Dado el problema AT M = { M, w | M es una maquina de Turing que acepta a la cadena w }, a ) Da una maquina de Turing que reconoce a AT M , b ) Es AT M decidible ? (justica tu respuesta). 3. Describe una maquina de Turing (en el nivel de implementaci on) que decide el lenguaje que contiene todas las cadenas sobre el alfabeto {0, 1} con dos veces mas 1s que 0s. 4. Una cadena w en un lenguaje L con alfabeto , tiene a la cadena 111 como subcadena si w = x111y , donde x, y son cadenas en L. Sea L un lenguaje que tiene almenos una cadena w que tiene a la cadena 111 como subcadena. Demuestra que L es decidible. 5. Dene EQCF G en sus dos versiones, como el problema y como lenguaje y muestra que es co-reconocible y no es decidible. 6. El problema AT M es reducible por mapeo al problema E T M o a su complemento? Da la reducci on. 7. Demuestra que si un lenguaje L es reconocible y se reduce por mapeo a su complemento, entonces L es decidible.

Av. Universidad 1001. Col. Chamilpa Cuernavaca, Morelos. C. P. 62209