CURSO: Informtica Terica

Temario para el examen final (2014-1) (Profesor: A. Bustamante A)

Con relacin al captulo 1. Alfabetos, cadenas y lenguajes.
1. Definir lenguaje L sobre un alfabeto . En qu sentido un conjunto de programas en un lenguaje de
programacin dado es un lenguaje en un sentido formal?
2. Tener claro que, como conjuntos que son, todas las operaciones conjuntistas estn definidas entre
lenguajes (unin, interseccin, diferencia, complemento) y estas satisfacen las propiedades
caractersticas de tales operaciones.
3. Definir y ejemplificar las operaciones de: concatenacin de lenguajes, potencia de un lenguaje, clausura
y clausura positiva de un lenguaje e inverso de un lenguaje. Estar en capacidad de probar cada una de
las propiedades mencionadas en las secciones 1.9 y 1.11.
4. Resolver los ejercicios de las secciones 1.9 y 1.12.
5. Dar definiciones recursivas de lenguaje regular y de expresin regular y reproducir todos los ejemplos
de las secciones 1.13 y 1.14.
6. Establecer la identidad conceptual entre expresin regular sobre un alfabeto y lenguaje regular sobre
un alfabeto .
7. Resolver todos los ejercicios de la seccin 1.14.
8. Sea S = {0, 1}. En los tems siguientes, califique la afirmacin como Verdadera o como Falsa, o
determine una expresin para el lenguaje propuesto.
1.1. L=0*10* = {w; w contiene slo un 1}
1.2. L= conjunto de cadenas que tienen por lo menos un 1
1.3. L=(01*)*={w; cada 0 en w est seguido de por lo menos un 1}
1.4. L= {w; w empieza y termina con el mismo smbolo}.
1.5. L = (1Ul)(00*1)*0*
10 Cules son los dos lenguajes, sobre cualquier alfabeto, cuya clausura es finita?
Con relacin al captulo 2, Autmatas finitos:
1. Reproducir la definicin de autmata finito como modelo computacional caracterizado por una quntupla,
indicando sus elementos y significado.
2. Usar las dos formas de representacin de un autmata finito: mediante un diagrama de transiciones y
mediante una tabla de transiciones.
3. Resolver de manera heurstica el primer tipo de problema que relaciona lenguajes regulares con
autmatas finitos: dado un lenguaje regular L disear un autmata finito M que acepte a L, es decir, tal
que L(M) = L. Resolver los ejercicios de la seccin 2.3


4. Reproducir la definicin formal de AFN. Establecer qu condiciones determinan el no determinismo de un
autmata. Resolver los ejercicios de la seccin 2.4.
5. Dado un AFN disear el AFD equivalente.
6. Definir las transiciones l. Qu utilidad tiene el uso de estas transiciones? Resolver los ejercicios de la
seccin 2.6.
7. Dado un AFN con transiciones l disear un AFN sin transiciones l que reconozca el mismo lenguaje del
anterior.
8. Enuncie el teorema de Kleene e indique los procedimientos utilizados para obtener cada uno de los
resultados establecidos por el teorema.
9. Dada una expresin regular, utilizar el algoritmo de sntesis para disear el reconocedor que acepta el
lenguaje descrito por ella.
10. Demuestre el resultado conocido como El lema de Arden.
11. Dado un autmata finito, calcular el lenguaje que reconoce, mediante la solucin del sistema descriptor.
12. Escribir una expresin regular para el lenguaje L ={w(0U1)*; w no contiene una subcadena dada, por
ejemplo la subcadena 1011
13. Disee un AFD, M, tal que L(M)=conjunto de cadenas de ceros y unos cuyo nmero de ceros sea
divisible por cinco y cuyo nmero de unos sea par. En general, un reconocedor para el lenguaje L1L2, a
partir de reconocedores para los lenguajes regulares L1 y L2.
Con relacin al captulo 3. Otras propiedades de los lenguajes regulares.
1. Argumentar informalmente sobre las limitaciones de los autmatas finitos para reconocer ciertos
lenguajes. D unos ejemplos.
2. Enunciar correctamente el lema del bombeo (LB) para lenguajes regulares. Su enunciado debe recoger
con precisin los elementos del enunciado que aparece en el texto. Conocer el uso del LB y dar una
explicacin de su validez (pg. 64 del texto gua).
3. Los ejemplos del texto sobre el L. de bombeo B para establecer que algunos lenguajes dados no son
LR.
4. Resolver los ejercicios de la seccin 3.1
5. Conocer y justificar las propiedades de clausura de los lenguajes regulares y de su contraparte, los
autmatas finitos. Resolver los ejercicios de la seccin 3.2
6. En el texto gua se demuestra, aplicando propiedades de clausura, que el lenguaje L={a
i
b
j
ij} no es
regular. Para apreciar la ventaja de utilizar tales propiedades, le transcribo la demostracin que del
mismo resultado y utilizando directamente el lema del bombeo para lenguajes regulares, presenta el
texto de Sipser, mencionado en la bibliografa del curso. (Pg. 97)
Assume that B={o
m
1
n
mn} is regular. Let p be the pumping length given by the pumping lemma.
Observe that p! is divisible by all integres from 1 to p, where p!=p(p-1)(p-2)1. The string
s=0
p
1
p+p!
B, and |s|p. Thus the pumping lemma implies that s can be divided as xyz with x = 0
a
, y=0
b



y z = 0
c
1
p+p!
, where b1 and a+b+c=p. Let s be the string xy
i+z
, where i = p!/b. Then y
i
= 0
p!
so y
i+1
=
0
b+p!,
and so xyz = 0
a+b+c+p!
1
p+p!
. That gives xyz = 0
p+p!
1
p+p!
B, a contradiction.
7. Conocer el enunciado, demostracin y el uso del teorema 3.3.2 Resolver los ejercicios de la seccin 3.3
8. Responder a la pregunta: Qu es un algoritmo de decisin para una propiedad P referida a elementos
de un conjunto D? Cundo un problema es decidible? Es decidible el problema de la divisibilidad de un
entero por un entero dado? Por qu?
9. Es decidible el problema de si un nmero real dado es solucin de una ecuacin polinmica dada?
10. Qu significan esta afirmaciones?: El problema de la ambigedad para las GIC es indecidible. El
problema de existencia de ceros para un polinomio en varias variables con coeficientes enteros es
indecidible.
11. Tener presentes los resultados sobre problemas de decisin del teorema 3.6.1 y de su corolario 3.6.2,
12. Conocer la definicin de conjunto enumerable y establecer la enumerabilidad de algunos conjuntos.
Adems, conocer el mtodo diagonal de Cantor y su uso en la demostracin de que el conjunto de reales
en el intervalo (0, 1) no es numerable y, en consecuencia, que el conjunto de los reales no es numerable.
13. Dado un autmata, establecer el autmata mnimo (reducido y conexo) equivalente al autmata dado.
Adems, de aplicar este algoritmo para determinar si dos reconocedores son o no equivalentes, es decir,
si reconocen o no el mismo lenguaje.
Con relacin al captulo 4, Lenguajes y gramticas independientes del contexto
1. Definir el concepto de gramtica generativa, indicando el significado de cada uno de los
elementos que intervienen en la definicin. Proporcionar ejemplos de GG e identificar los
elementos de la definicin, en cada caso. Definir el concepto general de Lenguaje generado
por una gramtica.
2. Describir la jerarqua gramatical de Chomsky. Esto significa asignar a cada tem en la
clasificacin el tipo de producciones que la definen. Adems, comprender la relacin de
inclusin entre las diferentes clases de gramticas y entre los lenguajes asociados a ellas.
3. Definir GIC y LIC. Explicar el significado de independiente del contexto. Entender todos los
ejemplos de la seccin 4.2 y resolver los ejercicios de la seccin.
4. Construir GIC para los lenguajes L1={a
n
b
k
| 1 n 2k} ; L2={0
m
1
n
| m es impar y n par, o n es
impar y m par}.
5. Tener presentes las diferencias entre derivacin, rbol de la derivacin y derivacin ms a
la izquierda. Ejercicios de la seccin 4.3
6. Explicar el concepto de gramtica ambigua y tener presente que es un concepto aplicado slo
a GIC. Tener claro qu se requiere para establecer la ambigedad de una gramtica, y


proporcionar algunos ejemplos de gramticas ambiguas y por qu lo son. (Ejercicios de la
seccin 4.4)
7. Secciones 4.5 y 4.6 con sus correspondientes ejercicios.
8. Definir gramtica regular. Dada un GRD construir el AF que reconoce el mismo lenguaje, y
recprocamente. Practicar con los ejercicios de la seccin 2.4. Ejercicios seccin 4.7.
9. Describir (no slo aplicar) los algoritmos para: eliminacin de variables intiles (Qu son
variables intiles?), eliminacin de producciones (Qu valor prctico tiene el algoritmo?),
eliminacin de producciones unitarias (Qu son?). Aplicar estos algoritmos, por separado y
acumulativamente, a GIC dadas. Ejercicios 4.8, 4.9 y 4.10.
10. Definir la forma normal de Chomsky. Dada una GIC, decidir si est o no en FNC. Dada una
GIC, llevarla a la FNC aplicando sucesivamente los algoritmos requeridos y mostrando cada
vez la gramtica equivalente que resulta. (No se recomiendan heursticas personales). Ej. 4.11
11. Enunciar el lema del bombeo para LIC. No se requiere la demostracin.
12. Desarrollar gramticas para los siguientes lenguajes:
L
1
= {a
n
b
n
; n0}, L
2
= {a
n
b
n
c
n
; n0}, L
3
= { a
n
b
n
c
n
d
n
; n0} Detecta un patrn en ellas,
aplicable a los casos anlogos, de 5, 6, literales?
13. Resolver los ejercicios de la seccin 4.13. Probar, adems que L={a
p
; p es primo} no es LIC.
14. Tener presentes las propiedades de clausura de los LIC y justificarlas. Resolver los ejercicios
1, 2 y 3 de la seccin 4.14.
15. Los ejercicios de la seccin 4.15
16. Recuerde: Dada una una GIC, G, puede o no estar en FNC, y una cadena w sobre * decidir,
utilizando el algoritmo CYK, si w est o no en L(G).
Con relacin al captulo 5, Autmatas de pila.
1. Definir el autmata de pila como modelo matemtico, describiendo cada componente y todos
los conceptos relacionados: paso computacional, notacin de transiciones, transiciones
ordinarias y especiales y sus interpretaciones, configuraciones: instantnea, inicial y de
aceptacin.
2. Dada una transicin, y la configuracin instantnea a la cual se aplica, establecer la
configuracin instantnea resultante. Recprocamente, dadas dos configuraciones
instantneas sucesivas, determinar la transicin aplicada a la primera de ellas para obtener la
segunda.
3. Definir el lenguaje aceptado por un AFP, tanto en el caso determinista como en el no
determinista.


4. Entender la significacin y funcionamiento del teorema 5.1.1 en trminos de la relacin que
establece entre los lenguajes regulares y los AFPD.
5. Explicar los ejemplos de la seccin 5.1 y resolver los ejercicios de la pgina 149
6. Entender el concepto de AFPN y la no equivalencia entre estos y los AFPD deterministas. En
particular, entender el funcionamiento del AFPN para el lenguaje L= { ww
R
: w(aUb)*}, descrito
en la pgina 152. Resolver los ejercicios de la seccin 5.2. Prestar atencin especial al
ejercicio 2.
7. Explicar el significado del teorema 5.4.1 y el propsito de cada una de las transiciones
requeridas en el proceso. Replicar los ejemplos de la seccin y resolver los ejercicios de la
seccin 5.4.
TEMARIO: Turing y mquinas de Turing.
1. Definir la mquina de Turing como modelo matemtico de reconocedor de lenguajes y
describir cada componente y cada concepto relacionado: notacin de transiciones,
configuracin instantnea, paso computacional y cmputos especiales.
2. Explicar la diferencia entre una transicin (q, ) = (p, b, x), donde denota el smbolo
blanco, y las transiciones utilizadas en los autmatas ya estudiados.
3. Definir estos lenguajes: Lenguaje aceptado por una MT, lenguaje recursivamente enumerable
y lenguaje recursivo (Lenguaje Turing decidible y lenguaje decidible, respectivamente)
4. Resolver los ejercicios de la seccin 6.1 Debe explicar qu idea sustenta el diseo de la
mquina en cada caso, hacer el diagrama de estados, y verificar el funcionamiento de la
mquina con una cadena del lenguaje y una cadena que no est en el lenguaje.
5. Construir una gramtica para cada uno de los lenguajes del ejercicio 6.1 y para el lenguaje
L={w#w w(0U1)*}, donde # es un smbolo especial de separacin.
6. Disear MT que implementen las subrutinas TD, COPD e INT, con = {a, b}.
Qu significa la afirmacin, la MT, M, computa la funcin f: * *? Cundo una funcin
es Turing computable?
7. Resolver los ejemplos y ejercicios de la seccin 6.3
8. Construya una mquina UNx2 que recibe n en sistema unario y calcula 2n.
9. Describir la mquina de Turing como generadora de lenguajes. Replicar los ejemplos de la
pgina 179 y resolver los ejercicios de la seccin 6.4
10. Conocer el significado de los teoremas teorema 6.6.1 y 6.6.2 y aplicarlos en la solucin de los
ejercicicios de la seccin 6.6.


11. Justificar la afirmacin de la seccin 6.9.1 del texto gua, enunciar la tesis de ChurchTuring y
los hechos que apoyan la tesis. Describir la relacin computadoresMT segn la seccin 6.9.2
12. Dado un alfabeto de entrada, , codificar y decodificar mquinas de Turing y cadenas de *.
13. Describir la mquina de Turing universal, definir el lenguaje universal Lu y justificar la
afirmacin de que este lenguaje es RE.
14. Enunciar y probar el teorema 7.4.1Cul es la trascendencia del teorema?
15. Enunciar y demostrar el teorema 7.5.1 Cul es la trascendencia de este teorema?
16. Describir, como en la pgina 214, las relaciones de inclusin entre las clases de lenguajes
estudiadas durante el curso, e indicar con ejemplos que las inclusiones son estrictas.
17. Describir el contenido de la pgina 215 de la seccin 7.6; en particular los conceptos de
problema decidible y problema indecidible.