Universidad Catlica de Cuyo

Facultad de Filosofa y Humanidades

Carrera: Especializacin en la Enseanza de la Educacin Superior
Sede: Universidad Catlica de Santiago del Estero
Trabajo: Final del Mdulo I !"a #r$ctica de la Enseanza%
Enseanza para la comprensin en
Compiladores e Intrpretes
Alumno: Salvador alerio Cavadini
& 'unio de ())* &
Enseanza para la comprensin en Compiladores e Intrpretes
Introduccin
Este tra+a,o tiene como finalidad presentar una propuesta did$ctica para la enseanza de !-eora
de "engua,es Formales%. tpico correspondiente a la Unidad II del programa de la asignatura
Compiladores e Int/rpretes
0
en la cual e,ercemos la docencia1 Hemos elegido esta unidad pues el
concepto de lenguaje formal y las nociones asociadas a /l &i1e1 sm+olo. alfa+eto. gram$tica. sinta2is.
sem$ntica. etc1& son medulares al contenido de la asignatura1 Esta propuesta se realiz teniendo en
cuenta las orientaciones conceptuales de la Enseanza para la Comprensin1
En las siguientes secciones de este tra+a,o e2pondremos +revemente los cuatro componentes claves de
la enseanza para la comprensin3 metas para la comprensin. tpicos generativos. desempeos para la
comprensin y evaluacin continua1 Seguidamente presentaremos una serie de desempeos para la
comprensin de los contenidos de la unidad !-eora de "engua,es Formales%1
etas para la compresin
"as metas para la compresin son a4uellos o+,etivos. 4ue como docentes. deseamos sean
alcanzados por nuestros alumnos1 Estos o+,etivos son un con,unto de conceptos. procesos. 5a+ilidades.
ideas. etc1 4ue esperamos sean comprendidos por los estudiantes1
"as metas de compresin correspondientes a cada unidad de la asignatura se denominan su+metas y
de+en estar en sintona con las metas propuestas para las metas planteadas para la asignatura completa1
Estas 6ltimas. denominadas 5ilos conductores. resumen la esencia de la materia1 Es por esto 4ue. antes
de presentar las metas para la comprensin de la unidad tratada en este tra+a,o. detallaremos las metas
de comprensin de la asignatura1
Hilos conductores de la o+ligacin acad/mica !Compiladores e Int/rpretes% esta+lecidos en la
planificacin de la asignatura para el ao ())* son3
01 Comprender los conceptos fundamentales de la teora de los lengua,es formales. la teora de
autmatas y las gram$ticas generativas. relacionarlos y aplicarlos en la resolucin de
pro+lemas1
(1 Comprender los procesos de conversin de los lengua,es formales de alto nivel a cdigo de
m$4uina y el funcionamiento de los compiladores e int/rpretes1
71 Identificar. dominar y aplicar las t/cnicas 4ue guan los procesos de diseo y las 5erramientas
+$sicas 4ue se utilizan en la construccin de las partes constitutivas fundamentales de un
traductor1
*1 8esarrollar cooperativamente traductores utilizando 5erramientas de generacin autom$tica1
Metas para la comprensin de la unidad !-eora de "engua,es Formales%3
01 "os alumnos comprender$n el concepto de !lengua,e%
(1 "os alumnos esta+lecer$n similitudes y diferencias entre los lengua,es formales 9artificiales: y
los naturales1
71 "os alumnos comprender$n los inconvenientes 4ue plantea la am+ig;edad de los lengua,es
naturales1
*1 "os alumnos comprender$n 4ue para procesar con una computadora las oraciones de un
lengua,e es necesaria una representacin finita y no am+igua de los mismos1
0
Materia anual perteneciente al cuarto ao de las carreras de <nalista de Sistemas y de Ingeniero en Computacin 4ue se
imparten en la Facultad de Matem$tica <plicada1 El programa de la asignatura se encuentra detallado en el <p/ndice <1 El
sitio =e+ de la asignatura es ===1ucse1edu1ar>fma>compiladores
(
Enseanza para la comprensin en Compiladores e Intrpretes
?1 "os alumnos comprender$n los conceptos +$sicos de la -eora de "engua,es Formales3
sm+olo. alfa+eto. 5ilera y operaciones relacionadas1
@1 "os alumnos comprender$n el concepto de gram$ticas generativas y su utilidad para representar
lengua,es tanto finitos como infinitos1
A1 "os alumnos ser$n capaces de identificar a 4u/ nivel de la 'erar4ua de C5omsBy pertenece una
gram$tica>lengua,e1
Tpico !enerativo
"a enseanza para la comprensin propone la utilizacin de tpicos generativos como
5erramienta para estimular y facilitar el acceso a los nuevos conocimientos por parte de los alumnos1
"os tpicos generativos son conceptos. ideas. temas. etc1. centrales del dominio de conocimiento de una
disciplina y de+en proveer cone2iones y variedad de perspectivas en un grado suficiente como para
apoyar el desarrollo de comprensiones profundas de los alumnos1 <dem$s. el tpico generativo de+e
resultar de inter/s para los alumnos y docentes. de+e poder vincularse con facilidad con las e2periencias
y conocimientos previos de los alumnos y permitir ser a+ordado a trav/s de una gran variedad de
medios1
El tpico generativo elegido para esta unidad es el concepto de lenguaje1 Este concepto re6ne las
caractersticas necesarias para ser un tpico generativo ya 4ue permite su a+orda,e desde las nociones
+$sicas 4ue tiene los alumnos so+re /l y desde /l se puede llegar a los dem$s conceptos vinculados 4ue
conforman la unidad !-eora de "engua,es Formales%1 En la figura 0 puede o+servarse un mapa
conceptual 4ue vincula la nocin de lenguaje con los contenidos de la unidad a+ordada y de otras
unidades de la asignatura1
"esempeos para la compresin
Una vez elegido el tpico generativo. el docente de+e disear una serie de actividades 4ue ayuden
al alumno a e2plorar y esta+lecer cone2iones entre los nuevos conceptos 4ue se le van presentado y sus
sa+eres precedentes1 Estas actividades se denominan desempeos para la comprensin1
Ca+e destacar 4ue no cual4uier actividad es un desempeo para la comprensin1 "a actividad de+e
plantearle un desafo cognitivo &accesi+le& al estudiante 4ue lo estimule a utilizar sus sa+eres para
poder culminar la actividad1 Esta actividad adem$s de+e disearse en funcin de las metas para la
comprensin plateadas para la unidad1
Como di,imos. los desempeos de comprensin se disean en serie. es decir. de+e ser una sucesin
coordinada de actividades 4ue le +rinde al alumno una gua y e,ercitacin gradual y constante
consistente en retos cognitivos cada vez m$s comple,os1 "os investigadores clasificaron los
desempeos en tres categoras3
"esempeos preliminares: son actividades relativamente simples 4ue se desarrollan al
inicio de la unidad en la etapa de e2ploracin y le permiten a los alumnos tomar contacto con
el tpico generativo para comenzar a e2plorarlo1 <dem$s sirven al docente para identificar y
dimensionar los conocimientos previos relacionados de los alumnos1
7
Enseanza para la comprensin en Compiladores e Intrpretes
LENGUAJES
FORMALES
GRAMTICAS
NOAM CHOMSKY
LINGSTICA
TRADUCTORES
AUTMATAS
JERARQUA
TEORA DE LA
COMPUTABILIDAD
TEORA DE LA
COMPLEJIDAD
FORMAS NORMALES
SMBOLOS CADENAS ALFABETO
LENGUAJES
NATURALES
CONJUNTO
TEORA DE
CONJUNTOS
genern
e!"#$%
e!"#$%
e!"#$%
!&n $%'eren"e!
$e
$e
$e'%ne
!
e

$
e
$
%
(

re(&n&(en
$e
!e *! en
!e *
! e
n
!&n
#"%)%+$&!
(&,&
$e
e! #n
$e
(&,-#e!"! $e $e #n
e! #n
COMPILADORES INT.RPRETES
!&n
LENGUAJES
#i!ura $3 Mapa conceptual para el tpico generativo Lenguaje
"esempeos de investi!acin !uiada: son actividades 4ue se e,ecutan al promediar la
unidad. luego de 5a+er concluido la etapa de e2ploracin y tienen por o+,eto el desarrollo de
la comprensin de pro+lemas o aspectos concretos del tpico generativo1
"esempeos %inales de s&ntesis: es un con,unto de actividades m$s comple,as tendientes a
posi+ilitar 4ue los estudiantes sinteticen y demuestren la comprensin lograda a trav/s de los
desempeos anteriores1 8e+en ser actividades 4ue re4uieran al alumno la sntesis e
integracin de los sa+eres 4ue se 5an desarrollado en la unidad1
Evaluacin para la comprensin
El marco conceptual de la enseanza para la comprensin 5ace evidente la necesidad de 4ue la
evaluacin vaya m$s all$ de un e2amen sumativo a fin de cada unidad o del curso1 "os estudiantes
precisan de oportunidades para refle2ionar so+re sus desempeos durante el aprendiza,e de nuevos
conceptos o 5a+ilidades cognitivas y no slo al final de este aprendiza,e1 Estas refle2iones de+en
realizarse teniendo en cuenta las metas para la comprensin planteadas y siguiendo los criterios e
informacin +rindada por el docente1 Esta modalidad de evaluacin se denomina evaluacin continua y
fue pensada como una 5erramienta 4ue +rinda oportunidades para me,orar la enseanza a trav/s del
continuo an$lisis del progreso de los alumnos en pos de las metas de comprensin1
#ara 4ue el alumno pueda autoevaluarse es necesario 4ue conozca las metas para la comprensin 4ue el
docente espera 4ue alcance y los criterios con los 4ue evaluar$ su desempeo1 Esto. m$s una
realimentacin y refle2in con,unta regular durante el proceso de aprendiza,e permitir$ 4ue la
evaluacin se convierta en una 5erramienta 4ue proporcione informacin 4ue permita comprender el
proceso de enseanza y el de aprendiza,e y replantear las pr$cticas docentes a fin de lograr m$s y
me,ores aprendiza,es1
*
Enseanza para la comprensin en Compiladores e Intrpretes
'ropuesta did(ctica para )Teor&a de *en!uajes #ormales+
En esta seccin presentaremos una propuesta did$ctica confeccionada a partir de los lineamientos
esta+lecidos por la enseanza para la comprensin1 Como mencionamos. la propuesta comprende una
serie de desempeos orientados a alcanzar las metas para la comprensin esta+lecidas para la unidad
!-eora de "engua,es Formales%1
<ntes de descri+ir los desempeos para la comprensin diseados. creemos 4ue es importante detallar
las condiciones $ulicas en las cuales estas actividades se desarrollar$n. para esto 5emos resumido
algunos datos relevantes de la asignatura Compiladores e Int/rpretes en el siguiente cuadro1
Cantidad de alumnos por co5orte entre 0? y (?
Cantidad de docentes 7
Cantidad de 5oras de clase A por semana
< continuacin detallamos una serie de C desempeos para la comprensin diseados con el o+,eto de
alcanzar las metas para la comprensin de la unidad II de la asignatura1
?
Enseanza para la comprensin en Compiladores e Intrpretes
"ESE'E,- ./$
"ETA**E
ETAS 'E0SE1UI"AS 0
"ESE'E,-S "E C-'0E.SI2. $3a "os alumnos. de manera individual. redactan una definicin
de !lengua,e%
$3b "os alumnos acuerdan. en grupos de ( 7. una definicin de
!lengua,e%
$3c Se e2ponen a la clase las definiciones de cada grupo y se
identifican los elementos en com6n y se negocia una nueva
definicin1
$3d "os docentes proveen una definicin de !lengua,e% o+tenida
en un diccionario de la lengua castellana1 "os alumnos comparan
la definicin del diccionario con la redactada por el curso1
E4A*UACI2. C-.TI.UA CDI-EDIES3 calidad de las
definiciones aportadas por los
alumnos1 Fivel de participacin
y compromiso en las
actividades1
DE-DE<"IMEF-<CIGF3 informal
entre los alumnos y los
docentes1
0ECU0S-S "I"5CTIC-S
8efinicin de !lengua,e% o+tenida en un diccionario de la
lengua castellana1
#izarra y fi+rones1
-iempo3 () minutos1
@
Enseanza para la comprensin en Compiladores e Intrpretes
"ESE'E,- ./6
"ETA**E
ETAS 'E0SE1UI"AS 0. (
"ESE'E,-S "E C-'0E.SI2. 63a "os alumnos. organizados en grupos de ( 7. confeccionan
una lista de los lengua,es 4ue conocen1 "uego se socializan las
listas y se confecciona una 6nica lista en la pizarra1
63b "os docentes proveen definiciones +$sicas de !lengua,e
formal>artificial% y !lengua,e natural%
63c "os alumnos clasifican en !formales% y !naturales% los
elementos de la lista de la pizarra1
63d "os alumnos identifican las caractersticas comunes de los
lengua,es formales y las de los lengua,es naturales1
E4A*UACI2. C-.TI.UA CDI-EDIES3 variedad de los
e,emplos aportados1 Correccin
de la clasificacin1 Calidad y
cantidad de las caractersticas
comunes identificadas1 Fivel de
participacin y compromiso en
las actividades1
DE-DE<"IMEF-<CIGF3 informal
entre los alumnos y los
docentes1
0ECU0S-S "I"5CTIC-S
#izarra y fi+rones1
8efiniciones +$sicas de lengua,e formal y natural1
-iempo3 7) minutos1
A
Enseanza para la comprensin en Compiladores e Intrpretes
"ESE'E,- ./7
"ETA**E
ETAS 'E0SE1UI"AS (.7
"ESE'E,-S "E C-'0E.SI2. 73a Se separa a los alumnos en dos grupos1 < uno de los grupos
se le provee una definicin colo4uial 9en lengua,e natural: de un
con,unto de n6meros. al otro grupo se le provee una definicin
formal del !mismo% con,unto y se les pide 4ue ela+oren un lista
de n6meros 4ue pertenecen al con,unto y otra de n6meros 4ue no
pertenecen1
73b Se copian las listas de cada grupo en la pizarra y se discute la
!pertenencia% o !no pertenencia% de los n6meros de las listas1
8urante esta discusin los docentes destacan las posi+les
am+ig;edades 4ue puede platear la definicin colo4uial al tiempo
4ue esta situacin de am+ig;edad no se produce con la definicin
formal1
E4A*UACI2. C-.TI.UA CDI-EDIES3 Fivel de
participacin y compromiso en
las actividades1
DE-DE<"IMEF-<CIGF3 informal
entre los alumnos y los
docentes1
0ECU0S-S "I"5CTIC-S
#izarra y fi+rones1
8efiniciones de con,untos de n6meros1
-iempo3 0? minutos1
C
Enseanza para la comprensin en Compiladores e Intrpretes
"ESE'E,- ./8
"ETA**E
ETAS 'E0SE1UI"AS *. ?. @
"ESE'E,-S "E C-'0E.SI2. 83a 9preHpresencial: "os docentes proveen +i+liografa y se
solicita 4ue los alumnos. en grupos de ( 7. confeccionen una
+reve monografa en la 4ue se e2pli4uen los conceptos de
sm+olo. alfa+eto e 5ilera y sus operaciones relacionadas. y 4ue
con esos conceptos ela+oren una definicin de !lengua,e%1
83b 9presencial: "os docentes repasan con los alumnos los
conceptos de sm+olo. alfa+eto e 5ilera y socializan las
definiciones de !lengua,e% de cada grupo1
83c Se solicita 4ue los alumnos comparen y relacionen los
conceptos y operaciones de la -eora de "engua,es Formales con
los conceptos de la -eora de Con,untos1
83d 8e ser necesario. los docentes introducen la nocin de
lengua,e como !con,unto de 5ileras%1
83e Se discuten con los alumnos los retos t/cnicos 4ue plantea la
representacin de con,untos en una computadora1
83% Se les solicita 4ue propongan m/todos de representacin para
con,untos infinitos 9lengua,es infinitos:1
83! "os docentes introducen el concepto de gram$tica generativa
y destacan su utilidad para representar lengua,es finitos e
infinitos1
E4A*UACI2. C-.TI.UA CDI-EDIES3 calidad de las
monografas y las definiciones
aportadas1 Calidad de los
m/todos propuestos1 Fivel de
participacin y compromiso en
las actividades1
DE-DE<"IMEF-<CIGF3 los docentes
5ar$n comentarios por escrito
de cada una da las monografas
ela+oradas por los alumnos1
Informal entre los alumnos y
los docentes1
0ECU0S-S "I"5CTIC-S
Material +i+liogr$fico so+re lengua,es formales 9li+ros.
papers. =e+ linBs. etc:
#izarra y fi+rones1
-iempo3 ?) minutos1
I
Enseanza para la comprensin en Compiladores e Intrpretes
"ESE'E,- ./9
"ETA**E
ETAS 'E0SE1UI"AS @. A
"ESE'E,-S "E C-'0E.SI2. 93a 9preHpresencial: Se solicita 4ue los alumnos. en grupos de (
7. investiguen so+re Foam C5omsBy. la !'erar4ua de
Jram$ticas% propuestas por /l y ela+oren una +reve monografa al
respecto1
93b 9presencial: "os docentes repasan con los alumnos la
,erar4ua de gram$ticas propuesta por C5omsBy 9'erar4ua de
C5omsBy:1
93c "os alumnos participan del ,uego El Intruso 9ver <p/ndice K:
E4A*UACI2. C-.TI.UA CDI-EDIES3 calidad de las
monografas1 8esempeo en el
,uego1 Fivel de participacin y
compromiso en las actividades1
DE-DE<"IMEF-<CIGF3 los docentes
5ar$n comentarios por escrito
de cada una da las monografas
ela+oradas por los alumnos1
Informal entre los alumnos y
los docentes1
0ECU0S-S "I"5CTIC-S
-ar,etas para el ,uego El Intruso1
#izarra y fi+rones1
-iempo3 ?) minutos1
0)
Enseanza para la comprensin en Compiladores e Intrpretes
"ESE'E,- ./:
"ETA**E
ETAS 'E0SE1UI"AS @. A
"ESE'E,-S "E C-'0E.SI2. :3a "os participan del ,uego Encontrando el Compaero 9ver
<p/ndice K:
:3b "os alumnos conforman grupos de 7 * integrantes1 "a mitad
de los grupos de+e dar e,emplos de lengua,es 4ue no pueden ser
generados por gram$ticas regulares 9nivel 7 de la 'erar4ua de
C5omsBy:1 "a otra mitad de+e ela+orar y fundamentar e,emplos
de lengua,es 4ue s pueden ser generados por dic5as gram$ticas1
:3c "os alumnos identifican &con la ayuda necesaria por parte de
los docentes& los aspectos 4ue 5acen imposi+le la generacin con
una gram$tica regular de los lengua,es aportados por la primera
mitad de grupos1
:3d "os alumnos infieren desde los e,emplos de la actividad @1+ y
los aspectos identificados en la actividad @1c las limitaciones de
las gram$ticas regulares1
Se repiten las actividades @1+. @1c y @1d para las gram$ticas li+res
de conte2to 9nivel ( de la 'erar4ua de C5omsBy:1
E4A*UACI2. C-.TI.UA CDI-EDIES3 8esempeo en el
,uego1 Capacidad de
identificacin de las
limitaciones de las gram$ticas1
Fivel de participacin y
compromiso en las actividades1
DE-DE<"IMEF-<CIGF3 Informal
entre los alumnos y los
docentes1
0ECU0S-S "I"5CTIC-S
-ar,etas para el ,uego Encontrando el Compaero1
#izarra y fi+rones1
-iempo3 ?) minutos1
00
Enseanza para la comprensin en Compiladores e Intrpretes
"ESE'E,- ./;
"ETA**E
ETAS 'E0SE1UI"AS 0.(.7.*.?.@.A
"ESE'E,-S "E C-'0E.SI2. ;3a < cada alumno se le asigna un par de lengua,es para los
cuales de+er$3
8ar ? e,emplos de 5ileras 4ue pertenezcan al lengua,e y
? de 5ileras 4ue no pertenezcan1
Indicar y ,ustificar el nivel de la 'erar4ua de C5omsBy a
la 4ue pertenece el lengua,e1
8isear la gram$tica de menor potencia 4ue lo genere1
E4A*UACI2. C-.TI.UA CDI-EDIES3 calidad y variedad de
los e,emplos aportados1 Calidad
de las ,ustificaciones1 Calidad
de las gram$ticas diseadas
DE-DE<"IMEF-<CIGF3 los alumnos
coeval6an los e,emplos. las
,ustificaciones y las gram$ticas1
0ECU0S-S "I"5CTIC-S
"engua,es
#izarra y fi+rones1
-iempo3 ?) minutos1
0(
Enseanza para la comprensin en Compiladores e Intrpretes
"ESE'E,- ./<
"ETA**E
ETAS 'E0SE1UI"AS 0.(.7.*.?.@.A
"ESE'E,-S "E C-'0E.SI2. <3a 9e2tra$ulico: Cada alumno de+er$ ela+orar una monografa en
donde se comparen y analicen las diferencias entre la ,erar4ua
propuesta originalmente por Foam C5omsBy en 0I?C y las
,erar4uas !de C5omsBy% descriptas en la +i+liografa
recomendada por la c$tedra1
E4A*UACI2. C-.TI.UA CDI-EDIES3 calidad y
profundidad del an$lisis
descripto en la monografa1
DE-DE<"IMEF-<CIGF3 los docentes
5ar$n comentarios por escrito
de cada una da las monografas
ela+oradas por los alumnos1
Informal entre los alumnos y
los docentes1
0ECU0S-S "I"5CTIC-S
Material +i+liogr$fico1
-iempo3
0 semana para la realizacin de la monografa1
7) minutos para la discusin 9retroalimentacin: en el aula1
07
Enseanza para la comprensin en Compiladores e Intrpretes
=iblio!ra%&a
L Klyt5e. -ina y cols1 0III1 !"a enseanza para la comprensin1 Jua para el docente%1 Editorial
#aids1 Kuenos <ires1
Camilloni. <licia M1 deN Celman. SusanaN "it=in. Edit5N #alou de Mat/. Mara del Carmen1 0IIC1 !"a
evaluacin de los aprendiza,es en el de+ate did$ctico contempor$neo%1 Editorial #aids1 Kuenos <ires1
Camilloni. <licia M1 deN 8avini. Mara CristinaN Edelstein. JloriaN "it=in. Edit5N Souto. Marta y Karco.
Susana1 0IIC1 !Corrientes did$cticas contempor$neas%1 Cuestiones de Educacin1 Editorial #aids1 Kuenos
<ires1
8oyle. Malter1 0IIA1 !-ra+a,o <cad/mico%1 Mimeo1 Kuenos <ires1
Fieto Jil. 'es6s M1 0II@1 !"a autoevaluacin del profesor1 Cmo evaluar y me,orar su pr$ctica docente1%
Editorial #ra2is1 Segunda Edicin1 Karcelona1
Entoria. <1 y otros1 0II?1 !Mapas conceptuales1 Una t/cnica para aprender%1 Editorial Farcea. S1 <1 de
Ediciones1 Madrid1
#erBins. 8avid1 0IIC1 !Enseanza para la comprensin1 Introduccin a la teora y su pr$ctica%1 Mimeo1 Harvard
University1
Santos Juerra. Miguel <ngel1 0IIC1 !Evaluar es comprender%1 Editorial Magisterio del Do de la #lata1 Kuenos
<ires1
Sitio =e+ en Internet del grupo de Investigacin #royecto Oero1 5ttp3>>===1pz15arvard1edu
Stone MisBe. Mart5a 9compiladora:1 0III1 !"a enseanza para la comprensin1 inculacin entre la
investigacin y la pr$ctica%1 Editorial #aids1 Kuenos <ires1
0*
Enseanza para la comprensin en Compiladores e Intrpretes
Apndice A
0?
Enseanza para la comprensin en Compiladores e Intrpretes
Universidad Catlica de Santiago del Estero
Facultada de Matem$tica <plicada
Compiladores e Intrpretes
'ro!rama de la asi!natura
Ao 6>>8
U.I"A" I: T0A"UCT-0ES? C-'I*A"-0ES E I.T@0'0ETES3
-raductores1 Historia de los -raductores1 El compilador Fortran1Estructura de un traductor1 FrontHEnd o
<n$lisis y KacBHEnd o Sntesis1 8efinicin sint/tica de las fases de un compilador3 an$lisis
le2icogr$fico. an$lisis sint$ctico. an$lisis sem$ntico. generacin de cdigo intermedio. optimizacin de
cdigo. generacin de cdigo final1 -a+la de sm+olos y mane,o de errores1 El agrupamiento de las
fases1 #asadas1 <r4uitectura de los traductores3 su evolucin1 Clasificacin de -raductores1
Compiladores e Int/rpretes1 Emuladores1 M$4uinas irtuales1 8iseo de compiladores. lengua,es y
computadoras1 Compiladores de Compiladores1 Kootstrapping 9<rran4ue:1 CrossHCompilers
9Compiladores Cruzados:1 Compiladores 'ustHinHtime1 Compiladores onHt5eHfly1 8ecompiladores1
U.I"A" II: TE-0AA "E *E.1UABES #-0A*ES3
"engua,es Faturales y "engua,es Formales1 Sinta2is y Sem$ntica de los lengua,es1 -eora de
Con,untos1 -eora de lengua,es formales1 Conceptos elementales3 sm+olo. alfa+eto. 5ilera o cadena1
Eperaciones so+re 5ileras1 "engua,es3 definicin y operaciones so+re lengua,es1 Metalengua,es1
Jram$ticas1 Jram$ticas formales1 Fotacin1 Fo terminales y #roducciones1 8erivaciones1
8erivaciones cannicas3 derivaciones leftmost 9por iz4uierda: y rig5tmost 9por derec5a:1 Sentencias y
formas sentenciales1 Depresentacin de las derivaciones1 Jrafos. $r+oles de derivacin Hparse treeH y
$r+oles sint$cticos Hsinta2 treeH1 Clasificacin de gram$ticas3 la 'erar4ua de C5omsBy1 Jram$ticas
Degulares y "engua,es Degulares1 #ropiedades de los "engua,es Degulares1 #umping "ema 9"ema de
+om+eo:1 Jram$ticas "i+res de Conte2to y "engua,es "i+res de Conte2to1 #ropiedades de los
"engua,es "i+res de Conte2to1 Jram$ticas Sensi+les al Conte2to1 Jram$ticas no Destringidas1
Higienizacin de Jram$ticas "i+res de Conte2to1 Jram$ticas propias1 Forma Formal de Foam
C5omsBy1 Forma Formal de S5eila Jrei+ac51 #ropiedades1 <m+ig;edad1 -ipos1 Eliminacin de
<m+ig;edad1 #recedencia y asociatividad1 Depresentaciones formales de la sinta2is de los lengua,es
li+res de conte2to1 Forma de KacBusHFaur1 8iagramas sint$cticos1 enta,as del uso de gram$ticas1
U.I"A" III: TE-0AA "E AUT2ATAS3
<utmatas1 8efinicin1 Componentes1 Eperacin1 8iagramas de transicin1 Su relacin con las
gram$ticas1 <utmatas finitos1 8efinicin formal1 Depresentacin Matricial1 Condicin de
determinismo1 <utmatas finitos determinsticos. no determinsticos y de estados mnimos1
8efiniciones formales1 <lgoritmos de conversin3 Construccin de su+con,untos1 8iseo de <utmatas
Finitos1 <utmatas de pila1 8efinicin formal1 8eterminismo en <utmatas de #ila1 <utmatas
limitados linealmente1 M$4uinas de -uring1 8ecidi+ilidad1 "os autmatas y su relacin con la 'erar4ua
de C5omsBy1 "os compiladores como autmatas1
U.I"A" I4: A.5*ISIS *ECIC-105#IC-3
El rol del analizador le2icogr$fico1 -oBens. patrones y le2emes1 <tri+utos de los toBens1 E2presiones
Degulares. gram$ticas regulares y autmatas finitos1 E4uivalencia entre los modelos1 8erivadas de
E2presiones Degulares1 <lgoritmo de McFaug5tonHPamadaH-5ompson1 8iseo de analizadores
0@
Enseanza para la comprensin en Compiladores e Intrpretes
le2icogr$ficos1 8iagramas de transicin1 Eperaciones asociadas3 +ypass. getc5ar. concat e install1
"ooBa5ead y #us5+acB1 Espacios en +lanco3 polticas y tratamiento1 Criterios de diseo1
Implementacin de analizadores le2icogr$ficos1 <lgoritmos greedy 9glotn: y no greedy1 #ala+ras
reservadas1 Comentarios1 El su+sistema de entrada1 Kuffers1 "ooBa5ead multicaracter1 Fin de la entrada1
El analizador l/2ico de Fortran1 Decuperacin de errores l/2icos1 -oBen de error1 Herramientas para la
generacin de analizadores le2icogr$ficos1 "e21 Fle21 -# "e21
U.I"A" 4: A.5*ISIS SI.T5CTIC-3
<n$lisis sint$ctico y gram$ticas li+res de conte2to1 -/cnicas de parsing3 generales. ascendentes y
descendentes1 #arsing determinstico y no determinstico1 #arsing -opH8o=n1 Jram$ticas ""9B: y sus
limitaciones1 Modificacin de gram$ticas1 Decursividad iz4uierda directa e indirecta1 Factorizacin1
Ciclos1 -a+las del parser topHdo=n3 Con,untos First. Follo=s y Selection1 El pro+lema IfH-5enHElse en
el parsing ""9B:1 #arsers predictivos y recursivos descendentes1 #arsers topHdo=n y autmatas de pila1
#ropiedades del parsing ""90:1 <n$lisis sint$ctico KottomHUp1 #arsers s5iftHreduce1 -/cnicas de
precedencia3 #recedencia de Eperadores y #recedencia Simple1 -/cnica "D9):1 -a+las "D9):1
Conflictos s5iftHreduce y reduceHreduce1 -/cnica S"D9B:1 -/cnica "D9B:1 -/cnica "<"D9B:1 El
pro+lema IfH-5enHElse en el parsing "D9B:1 #ropiedades del parsing "D90:1 #arsing +ottomHup versus
parsing topHdo=n1 <n$lisis comparativo1 -/cnicas Jenerales1 M/todo de Unger1 M/todo CPQ1
<lgoritmo de 'ay Earley1 Herramientas para la generacin de analizadores sint$cticos ascendentes1
Jeneradores "<"D90:1 Pacc1 -# Pacc1 Jeneradores "<"D9B:1 Control de am+ig;edad en parsers
determinsticos1 <n$lisis de conflictos en parsing "D9B:1 -ratamiento de dependencias de conte2to en
parsers li+res de conte2to1 Decuperacin de errores sint$cticos1 Modo #$nico1 #roducciones de error1
U.I"A" 4I: A.5*ISIS SE5.TIC- D C2"I1- I.TE0E"I-3
-raduccin dirigida por la sinta2is1 8efiniciones dirigidas por la sinta2is1 <tri+utos 5eredados y
sintetizados1 C$lculo y flu,o de los valores de los atri+utos1 8efiniciones SHatri+udas y "Hatri+udas1
<cciones sem$nticas1 Es4uemas de traduccin dirigidos por la sinta2is1 Jram$ticas <umentadas1
"imitaciones de las gram$ticas li+res de conte2to1 -a+la de sm+olos1 Funcin1 #rimitivas1
Consideraciones de diseo1 -/cnicas de implementacin3 est$tica y din$mica1 "istas encadenadas.
$r+oles +inarios. ta+las 5as51 Funcin de 5as5ing1 "a ta+la de sm+olos y los lengua,es de +lo4ues1 El
espacio string1 Depresentacin de campos y registros1 Depresentacin de tipos predefinidos y a+stractos1
Errores sem$nticos1 Decuperacin de errores sem$nticos1 Dutinas Sem$nticas en parsers "" y en
parsers s5iftHreduce1 #ila sem$ntica controlada por el parser1 Cdigo intermedio1 M$4uinas a+stractas1
Depresentacin de operaciones. flu,o de datos y flu,o de control1 Formas de Depresentaciones
intermedias3 Rr+oles. grafos. notacin postfi,o y cdigo de tres direcciones1 -riplas y cu$druplas1
-uplas1 "engua,es de programacin como Depresentaciones intermedias1 <n$lisis comparativo de las
diferentes representaciones1 #orta+ilidad1 Depresentacin intermedia versus generacin directa1
<lternativas de organizacin de un compilador1 Compiladores de una pasada1 Compiladores multiH
pasada1 Familias de compiladores1 Compiladores multilengua,es y multiHtarget1
U.I"A" 4II: T0A"UCCI2. D 1E.E0ACI2. "E C2"I1-3
#rocesamiento de declaraciones1 <tri+utos1 #rocesamiento de e2presiones y asignaciones1 "eftHvalue y
Dig5tHvalue1 C5e4ueo de tipos1 Identificadores simples. constantes. registros. arrays. cadenas1
#recedencia y asociatividad de operadores1 -raduccin de las estructuras de control1 Su traduccin en
compiladores de una o m$s pasadas1 El pro+lema SFor=ard Kranc5S 9salto 5acia adelante:1 El pro+lema
SKacB=ard Kranc5S 9salto 5acia atr$s:1 "a+els1 KacBpatc5ing1 Estructuras de loop3 sentencias =5ile.
repeatHuntil. for. loop1 Estructuras de e,ecucin condicional3 sentencias ifHt5en. ifHt5enHelse. case1
E2presiones Koolenas y Eperaciones Delacionales1 M/todos de traduccin1 Evaluacin SS5ortHcircuitS1
Estructuras de transferencia directa de control3 e2it. goto1 -raduccin de Dutinas y Funciones1 StacB y
Heap1 Rm+itos1 #aso de par$metros1 StacB Frames1 Degistros de <ctivacin1 Encadenamiento est$tico y
din$mico1 8isplays1 alores de retorno1
U.I"A" 4III: -'TIIEACI2. D 1E.E0ACI2. "E C2"I1- #I.A*3
0A
Enseanza para la comprensin en Compiladores e Intrpretes
Compiladores Eptimizadores1 -ipos de Eptimizacin1 Rm+itos de optimizacin3 local. interprocedural.
glo+al1 Eptimizacin de cdigo intermedio1 #rincipales fuentes de optimizacin1 Klo4ues K$sicos1
Klo4ues K$sicos E2tendidos1 Jrafo de Flu,o de Control 9CFJ:1 Jrafo de 8ependencias de Control
9#8J:1 <lgoritmos para su construccin1 Constant folding y #ropagacin de constantes1 aria+les
muertas1 Eliminacin de cdigo muerto1 Eliminacin de su+e2presiones comunes1 Jrafos acclicos
dirigidos1 <lgoritmo n6meroHvalor1 Eptimizaciones del flu,o de control1 <n$lisis de flu,o de datos1
Ecuaciones1 Jeneracin de cdigo final1 Consideraciones so+re la m$4uina o+,eto3 pipeline. cac5es.
ar4uitectura superescalar. ar4uitecturas DISC1 Sc5eduling de instrucciones1 <lgoritmo de Set5iHUllman1
<signacin de registros1 -/cnicas de coloreado de grafos1 Jestin de varia+les temporales1 M$4uina de
pila1 Seleccin de instrucciones y modos de direccionamiento1 Eptimizacin del cdigo o+,eto1
-/cnicas #eepH5ole1 Deduccin de potencia1 Simplificaciones alge+raicas1
0C
Enseanza para la comprensin en Compiladores e Intrpretes
Apndice =
0I
Enseanza para la comprensin en Compiladores e Intrpretes
E* I.T0US-
El ,uego consiste en descu+rir 4u/ elemento est$ incorrectamente agrupado con otros1 El docente
determina desde el principio cu$ntas rondas se ,ugar$n. en cada ronda se entrega a los participantes una
fic5a con un con,unto de elementos 9gram$ticas. def1 de lengua,es: y se pide 4ue indi4ue 4u/ elemento
no pertenece al con,unto y ,ustifi4ue por 4u/1 El docente define un tiempo lmite para resolver cada
pro+lema. cumplido el plazo. cada participante entrega solucin al docente 4uien e2plica en la pizarra
cu$l era la solucin correcta1 <4uellos 4ue 5ayan contestado acertadamente o+tienen un punto1 "uego
de la 6ltima ronda. se suman los puntos de cada participante y se designan los ganadores1
Ejemplo $
S a A
S a
A a B
A a A
B b
S 1 C
S 0 A
A 0 B
A 0
B 0 A
C 1 C
C 1
S A a
A A b
A A a
B B b
B C b
C c
S b B
S a A
A a B
A a A
B b A
B b B
B c
A B C D
Solucin3 El intruso es la gram$tica C por4ue es lineal a iz4uierda a diferencia de las dem$s 4ue son lineales a
derec5a1
Ejemplo 6
E E + T
E T
T T * F
T F
T id
E E + E
E E * E
E id
E E + E
E E * E
E ( id )
E id
E E + E
E E * E
E ( E )
A B C D
Solucin3 El intruso es la gram$tica 8 por4ue genera un lengua,e li+re de conte2to a diferencia de las dem$s 4ue
siendo gram$ticas li+res de conte2to. generan lengua,es regulares1
Ejemplo 7
P ( P )
P ( )
P ( C
C P )
C )
P ( P ) P
P
P ( C )
C ( ) C
C ( )
A B C D
Solucin3 El intruso es la gram$tica 8 por4ue genera un lengua,e regular a diferencia de las dem$s 4ue generan
lengua,es li+res de conte2to1
()
Enseanza para la comprensin en Compiladores e Intrpretes
E.C-.T0A."- E* C-'A,E0-
El ,uego consiste en determinar pares de elementos relacionados1 El docente define desde el
principio cu$ntas rondas se ,ugar$n. en cada una se entrega a los participantes una fic5a con elementos
relacionados de a pares1 <4uel 4ue encuentre los pares relacionados se 5ace acreedor a un punto 9si la
solucin aportada es incorrecta. se le resta un punto:1 "uego de la 6ltima ronda. se suman los puntos de
cada participante y se designan los ganadores1
Ejemplo
L={a
i
b
i
con i>0}

S a A b
S a A S b
A a
S a S b S
S a b

S a S b
S a b
L={a
i
b
2i
con i>0}

S A S b B
S A b B
A a a
B b
L={a
2i
b
i
con i>0}

S a A
S a b
S S B
B b S
L={a
2i
b
2i
con i>0}

S a A B
S a B
B b b
Solucin
L={a
i
b
i
con i>0}

S a A b
S a A S b
A a
S a S b S
S a b

S a S b
S a b
L={a
i
b
2i
con i>0}

S A S b B
S A b B
A a a
B b
L={a
2i
b
i
con i>0}

S a A
S a b
S S B
B b S
L={a
2i
b
2i
con i>0}

S a A B
S a B
B b b
(0