Universidad de Costa Rica - ECCI

Ci322 A y C
Prctica Examen 1

II - 2007

1. Mencione en qu etapas se realiza la compilacin y qu fases componen cada etapa. (segn lo visto en
clase).
2. Explique qu tareas se realizan en cada fase del compilador (seis).
3. Qu compone un autmata?
4. Cmo se llama el mtodo para pasar de un AFN a un AFD?
5. Cul es la relacin entre autmatas finitos y expresiones regulares?
6. Qu consideraciones de espacio/tiempo se deben tomar en cuenta a la hora de decidir entre implementar
un AFN o un AFD?
7. En qu consiste la fase de optimizacin de cdigo?
8. Cules son las tareas de los cargadores y editores de enlace?
9. Qu es cdigo relocalizable?
10. Cmo se le llama al conjunto de estados de un AFN alcanzables desde un estados, o desde cualquier
estado s de un conjunto T, nicamente con transiciones epsilon?
11. Explique qu es la tabla de smbolos, en qu fases se utiliza y para qu.
12. Qu es un reconocedor de un programa?
13. Cules son dos ejemplos de conjuntos que no se pueden describir con expresiones regulares? (Conjuntos
no regulares).
14. Qu son definiciones regulares?
15. Qu son LEX, FLEX y JFLEX? Qu hacen y cmo funcionan?
16. Qu es backpatching?
17. Qu es la minimizacin de AFD?
18. Los errores donde la cadena de componentes lxicos viola la estructura del lenguaje, son determinados en
la fase de anlisis ___________________________.
19. En qu fase se realiza la verificacin de tipos de variables del cdigo fuente.
20. Qu es un lenguaje? Qu es una cadena? Qu es un alfabeto?
21. Qu significa que dos expresiones regulares sean equivalentes?
22. Qu es un autmata?
23. Cmo se puede implementar un autmata en un programa?
24. Qu es una expresin regular?
25. Explique claramente la diferencia entre un componente lxico y un lexema. D ejemplos.
26. Qu son transiciones repetidas en un autmata finito no determinista?
27. Qu es un intrprete? En qu se diferencia un intrprete de un compilador?
28. Qu es un rbol de anlisis sintctico?
29. Qu es y para que sirve la Construccin de Thompson?

30. Explique qu hace un preprocesador.

31. Un autmata finito determinista puede tener transiciones repetidas siempre y cuando no tenga
transiciones epsilon?
32. Explique qu es, qu hace y cmo funciona un compilador.
33. Qu es un prefijo/sufijo/subcadena propio?
34. Qu tipos de autmatas existen y cmo se diferencian?
35. Falso o verdadero: en un autmata finito no determinista puede haber ms de una secuencia de
movimientos que conduzca a un estado de aceptacin para la misma cadena de entrada.
36. Agrupar los componentes lxicos en frases gramaticales es una tarea de qu fase?
37. Qu es la cadena vaca?
38. Qu es y para qu se utiliza la representacin intermedia del cdigo?
39. Qu son los estados significativos de un AFN?
40. Falso o verdadero: en un autmata finito determinista puede haber ms de una secuencia de movimientos
que conduzca a un estado de aceptacin para la misma cadena de entrada.
Haga expresiones regulares para:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.

Una lnea que empiece con 'At'.

Una lnea con exactamente una 's'.
Lenguaje de todas las posibles conjugaciones, en presente, del verbo 'caminar'.
Palabras que en caso de tener vocales, estn en orden alfabtico.
Palabras en las que las letras estn en orden alfabtico.
Nmeros enteros en los que los dgitos estn en orden descendente (mximo 10 dgitos)
Palabras con las vocales, una vez c/u, en orden alfabtico y no necesariamente seguidas.
Lneas que no contienen vocales.
Una direccin IPv4 (por ejemplo: 127.0.0.1, 163.178.104.133)
Nmeros enteros de 3 dgitos.
Nmeros enteros de 3 dgitos (diferente a la 10.)
Hileras del alfabeto {v,y} con al menos una de cada una.
Encabezados en HTML (<h1>algo</h1>)
Nmeros enteros slo con dgitos impares.
Todas las hileras binarias.
Todas las hileras binarias excepto la hilera vaca.
Todas las hileras binarias que empiezan y terminan con 1.
Todas las hileras binarias que contienen al menos dos 0s.
Todas las hileras con alfabeto {g,i,v,w,p,o}
Hileras binarias que empiezan con 1 y tienen un nmero impar de bits o con 0 y tienen un nmero par de bits.
Todas las hileras con el alfabeto {x,y,z} con al menos dos y.
Nmeros enteros de 5 dgitos donde cada posicin impar tiene un dgito impar.
Todas las hileras binarias con al menos dos 0s.
Hileras binarias que alternen entre 0s y 1s.
Nmeros enteros divisibles entre 5 entre 4.

Pase las siguientes expresiones regulares a autmatas, dibuje el grafo y escriba la tabla de transiciones:
26.
27.
28.
29.
30.

a((b|c)| bc)*
La ER # 17.
La ER # 25
La ER # 18
La ER # 12

Pase los siguientes autmatas finitos no deterministas a autmatas finitos deterministas:

31. El # 26.
32. El # 27.
33. El # 23.
34.

35.

36.

37. Minimice este ltimo autmata. (AFD)