Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Facultad de Ingeniería
Escuela de Ingeniería Civil Informática
Nombre: Rut:
.
Lenguajes y Autómatas
Certamen 1
Prof: Fabián Riquelme Csori
2018-II
• El certamen es individual. La comprensión de los enunciados es parte de la evaluación.
• Está permitido el uso de apuntes de clase, pero no el uso de dispositivos electrónicos.
• Para la PARTE 1:
– Responda exclusivamente en el cuadro correspondiente.
– El puntaje está indicado a la derecha de cada pregunta.
• Para la PARTE 2:
– Seleccione la alternativa correcta y justifique brevemente sobre la línea indicada.
– No se revisarán respuestas sin justificación.
– 10 pts cada respuesta correcta.
• Tiempo: 80 minutos. Puntaje total: 100 puntos. Nota 4,0: 60 puntos.
PARTE 1
1. Convierta en DFA el NFA definido formalmente como: [15 pts]
A = ({q0 , q1 , q2 }, {x, y}, {(q0 , x, q1 ), (q1 , x, q1 ), (q1 , y, q1 ), (q1 , y, q2 )}, q0 , {q2 }).
1
Universidad de Valparaíso
Facultad de Ingeniería
Escuela de Ingeniería Civil Informática
A → 1A
A → 0B
B → 0B
B → 1C
C → 0C
C → 1C
C→0
C→1
3. Dibuje el DFA obtenido a partir de la conversión del siguiente NFA: [15 pts]
0, 1 0, 1
ε 0
Inicio A B D
C 0, 1
2
Universidad de Valparaíso
Facultad de Ingeniería
Escuela de Ingeniería Civil Informática
PARTE 2
4. Determine una expresión regular que genere las cadenas del lenguaje L = {an bn | n ≥ 0}.
a a, b
q0 b q1 b q2 b q3
Inicio a
a
3
Universidad de Valparaíso
Facultad de Ingeniería
Escuela de Ingeniería Civil Informática
a b
a b
Inicio A B C
a
[FRC18/F1]
4
Universidad de Valparaíso
Facultad de Ingeniería
Escuela de Ingeniería Civil Informática
Lenguajes y Autómatas
Certamen 1 – Pauta
Prof: Fabián Riquelme Csori
2018-II
PARTE 1
A = ({q0 , q1 , q2 }, {x, y}, {(q0 , x, q1 ), (q1 , x, q1 ), (q1 , y, q1 ), (q1 , y, q2 )}, q0 , {q2 }).
Sol: 7 pts por la tabla de transiciones y 8 pts por el diagrama del DFA.
δ q0 q1 q1 q2 x y
x q1 q1 q1
y − q 1 q2 q1 q2 x y
Inicio q0 q1 q1 q 2
x
A → 1A Sol:
A → 0B 0, 1
1 0
B → 0B
B → 1C 0 1
C → 0C Inicio A B C
C → 1C
C→0
C→1
3. Dibuje el DFA obtenido a partir de la conversión del siguiente NFA: [15 pts]
5
Universidad de Valparaíso
Facultad de Ingeniería
Escuela de Ingeniería Civil Informática
0, 1 0, 1
ε 0
Inicio A B D
C 0, 1
Sol: 7 pts por la tabla de transiciones y 8 pts por el diagrama del DFA.
δ AB ABCD 0, 1
0 ABCD ABCD
1
1 AB ABCD
0
Inicio AB ABCD
PARTE 2
10 pts cada respuesta correcta con argumentación.
5 pts si respuesta es incorrecta pero el argumento es correcto, salvo pequeños errores de cálculo.
5 pts si respuesta es correcta pero está mal argumentada.
0 pts si respuesta es correcta pero no está argumentada.
4. Determine una expresión regular que genere las cadenas del lenguaje L = {an bn | n ≥ 0}.
6
Universidad de Valparaíso
Facultad de Ingeniería
Escuela de Ingeniería Civil Informática
Sol: Es el lenguaje formado por un 1, o palabras que empiezan con 0 y terminan con 1.
7. Dado el siguiente DFA, determine la sexta configuración obtenida a partir de la relación
` para la cadena w = babaabba, comenzando por la configuración inicial (q0 , w).
a a, b
q0 b q1 b q2 b q3
Inicio a
a
Sol: (q0 , babaabba) ` (q1 , abaabba) ` (q0 , baabba) ` (q1 , aabba) ` (q0 , abba) ` (q0 , bba).
8. Determine el lenguaje Lc complementario al lenguaje L generado por el siguiente DFA:
a b
a b
Inicio A B C
a
Sol: Lc es el lenguaje del DFA de arriba cambiando estados finales por F = {A, B}.
9. Un ejemplo de algoritmo no-determinista sería: