TEORIA DE COMPUTACION EXAMEN DEPARTAMENTAL (junio 2009) (Sin justificar tus respuestas no valen!) 1. (a) Enseiie que un lenguaje es libre de contexto si y solo si existe una automata de pila que lo reconoce. 2. Sea G la gramatica de contexto-libre en Ia forma normal de Chomski que contiene b no-terminales. Ensefie que L(G) es infinito si G genera a cadena con 2 en la potencia b derivaciones. 3. Construye una maquina de Turing que acepta todas las cadenas de 1-s y 0-8 que tiene mas 1-s que 0-s (dar las descripciones en el nivel de algoritmo y de la implementacion). 4. Enseiie que un lenguaje es decibible si y solo si existe un enumerador que enumera sus cadenas en orden lexicogratito. 5. Enseile que un numero infinito de los lenguajes no-reconocibles. 6. Ensefie que A™ es (a) reconocible, (b) no es decibible, (c) ni co-reconocible. 7. ¢Cuales son los métodos de ensefianza que un lenguaje dado es decidible, no es decidible, es reconocible 0 no es reconocible (especifique todos los métodos que conoces)? 8. Ensefie que si A es reducible por el mapeo a B y A no es reconocible, entonces B tampoco es reconocible. 9. Ensefie que A™ no es reducible por el mapeo a E™ pero si es reducible a E(LBA) (el lenguaje de las descripciones de LBA que no aceptan ninguna cadena), 10. Ensefie que cualquier lenguaje reconocible se reduce por el mapeo a A™.