Examen. Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación. Segundo Semestre, 2003.

Transcripción

1 Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación Examen IIC 2222 Teoría de Autómatas y Lenguajes Formales Segundo Semestre, 2003 Este examen tiene 5 preguntas. Escriba su nombre en todas las páginas. Pregunta 1 /30 Pregunta 2 /30 Pregunta 3 /30 Pregunta 4 /30 Pregunta 5 /30 Total /150 Nota Duración: 2:30 hrs.

2 IIC 2222 Examen 2 Pregunta 1 [30 puntos] De ejemplos de lenguajes que cumplan con las condiciones pedidas. Si no existen tales lenguajes responda No es posible. (a) Un lenguaje regular R y otro lenguaje libre de contexto L, tales que R L y L es regular. (b) Un lenguaje libre de contexto L, no regular, tal que L es regular. (c) Un lenguaje libre de contexto L, no regular, tal que L no es recursivamente enumerable. (d) Un lenguaje aceptado por una MT, pero que no puede ser aceptado por ningún AFND-ε. (e) Un lenguaje libre de contexto L y otro lenguaje R tales que L R no es aceptado por ningún AFD. (f) Un lenguaje libre de contexto L y otro lenguaje R tales que L R no es aceptado por ningún AA. (g) Un lenguaje L, recursivamente enumerable, tal que L es recursivo. (h) Un lenguaje L que no es recursivamente enumerable. (i) Un lenguaje L que es recursivamente enumerable, pero que no es recursivo. (j) Un lenguaje indecidible, pero recursivo. (k) Un lenguaje libre de contexto L, cuyo complemento no es libre de contexto. (l) Una secuencia de lenguajes libres de contexto L 0, L 1,... tales que i=0 L i es no es libre de contexto. (m) Un lenguaje infinito, recursivamente enumerable, pero que no es generado por una expresión regular. (n) Un lenguaje L, y otro lenguaje regular R tales que L R no es regular. (ñ) Un lenguaje aceptado por un autómata linealmente acotado, pero que no aceptado por una máquina de turing de dos cabezas y dos cintas.

3 IIC 2222 Examen 3 Pregunta 2 [30 puntos] (a) Sea M = (Q, Σ, δ, q 0, F ) un AFD. Suponiendo que $ Σ, construya detalladamente una Máquina de Turing que acepte: L = {x$y r x, y L(M)}. (b) Considere ahora el lenguaje L = {xy r x, y L(M)}. Es posible construir una máquina de Turing determinística para L? Si es así cómo?.

4 IIC 2222 Examen 4 Pregunta 3 [30 puntos] En el lenguaje de programación funcional Haskell, el tipo de dato lista se encuentra predefindo. El siguiente párrafo describe informalmente cómo son las listas en Haskell: Una lista se denota empleando corchetes y comas. Por ejemplo, [1,2,3] es una lista de tres números y ["hola","adios"] es una lista de dos cadenas. Todos los elementos de una lista han de ser del mismo tipo. La lista vacía se escribe [] (...). En particular, [[]] es una lista unitaria cuyo único elemento es la lista vacía. Si todos los elementos de una lista son de tipo α, se dice que la lista tiene tipo [α] (pronunciado lista de α ). Por ejemplo, los siguientes son tipos válidos para listas: [1,2,3] es de tipo [Int] [ h, o, l, a ] es de tipo [Char] [[1,2],[3]] es de tipo [[Int]] De este último párrafo se deduce que si una lista es de tipo [Int] entonces todos sus elementos son de tipo Int. Por otra parte, si es de tipo [[Int]] entonces todos sus elementos son de tipo [Int]. Considere el lenguaje L H, de las listas de Haskell de tipo [ i α] i (para todo i 1), donde α es Int o Char. Es decir, L H contiene a todas las listas cuyo tipo haskell es [Int], [Char], [[Int]], [[Char]], [[[Int]]], y a así sucesivamente. (a) Demuestre que L H no es libre de contexto. (b) Muestre que si se define L H como el conjunto de todas las listas de Haskell de tipo [i α] i (con 1 i 2), entonces L H es libre de contexto. Nota: Puede usar el terminal int para representar a todos los enteros y el terminal char, para los caracteres.

5 IIC 2222 Examen 5 [hoja extra pregunta 3]

6 IIC 2222 Examen 6 Pregunta 4 [30 puntos] (a) Defina un AFND-ε y una expresión regular para los siguientes lenguajes: i. Palabras binarias que no terminan en 101. ii. Palabras binarias en las que cada 1 está seguido por al menos dos 0 s o en las que cada 0 está seguido por dos 1 s. (b) Defina formalmente qué significa que dos estados de un AFD sean distinguibles. En qué se puede ocupar este concepto? (c) Es sabido que si L es un lenguaje regular, N es el número de estados del AFD que lo acepta, y z L ( z N), entonces existen u, v, w, con v 1, tales que z = uvw y, para todo i 0, se cumple que uv i w L. Por qué si al párrafo anterior agregamos la condición uv N la afirmación sigue siendo verdadera? Seguiría siendo verdadera si imponemos que uv N 2? Justifique.

7 IIC 2222 Examen 7 [hoja extra pregunta 4]

8 IIC 2222 Examen 8 Pregunta 5 [30 puntos] (a) Demuestre, sin apelar al teorema de Rice, que { M 000 L(M)} no es recursivamente enumerable. (b) Es L = { M M se detiene exactamente después de 10 transiciones al procesar la palabra vacía} decidible? Justifique.

9 IIC 2222 Examen 9 [hoja extra pregunta 5]