UNIVERSIDAD MARIANO GALVEZ DE GUATEMALA

FACULTAD DE INGENIERIA EN SISTEMAS DE INFORMACION

INGENIERIA EN SISTEMAS DE INFORMACION
JORNADA DIARIA VESPERTINA
Curso: LENGUAJES FORMALES Y TEORA DE AUTMATAS Cdigo: 090454
Pre-requisitos: 090411,090412
PRESENTACION
Este curso es un contacto importante con las nociones y conceptos del proceso computacional o proceso
algortmico. Forma las bases para los cursos de complejidad y compiladores. Incluye el estudio de tcnicas de
reconocimiento de patrones procesos b!sicos computacionales an!lisis l"ico y sint!ctico as como una base
para computabilidad.
OBJETIVOS GENERALES
Proporcionar al estudiante la base cient#ica para resol$er problemas importantes dentro de la lgica algortmica
#undamentales para la construccin de compiladores.
OBJETIVOS ESPECIFICOS
%ue el estudiante se introdu&ca en el an!lisis l"ico como mtodo de solucin de problemas de renacimiento de
patrones.
%ue el alumno cuente con una idea b!sica de procesos computacionales.
CONTENIDO PROGRAM!TICO DEL CURSO
1 U"#$%$ L&"'(%)&
'.' (e#inicin de lenguaje orientada a la #ormalidad operaciones con lenguajes.
'.) Conceptos b!sicos orientados a la teora de compiladores.
'.* +erminologa asociada a la de#inicin conceptual de lenguaje.
'., Esquema y simbologa de de#inicin de lenguaje.
2 U"#$%$ L&"'(%)&* +,-.%/&*
).' Conceptos b!sicos.
).) -peradores b!sicos . y /.
).* Primera de#inicin de lenguaje. 0enguaje #ormal. 0enguaje regular.
)., E"presiones regulares.
).1 Precedencia en las e"presiones regulares.
).2 3lgebra de e"presiones regulares.
).4 (ise5o de e"presiones regulares.
0 U"#$%$ A(12.%1%* +#"#1,*
*.' Conceptos b!sicos.
*.) (e#inicin #ormal de autmata #inito. 6utmatas #initos en representacin gr!#ica.
*.* 6n!lisis de la entrada a tra$s de un autmata #inito. 0enguaje aceptado por un autmata #inito.
*., Ejemplos de autmatas orientados a dise5ar la etapa de l"ico de un lenguaje de
*.1 programacin.
*.2 +ipos de autmatas.
*.4 6utmata #inito determinista.
*.7 6utmata #inito no determinista.
*.8 6n!lisis de la entrada a tra$s de un autmata #inito no determinista.
*.'9 6utmata con transiciones-E
*.'' 6n!lisis de la entrada a tra$s de un autmata #inito con transiciones-E.
*.') 6utmata no determinista y con transiciones-E.
*.'* Con$ersin de autmata #inito no determinista a autmata #inito determinista.
*.', Con$ersin de autmata #inito con transiciones-E :a autmata #inito determinista.
*.'1 Con$ersin de e"presin regular a autmata #inito no determinista.
*.'2 Con$ersin de e"presin regular a autmata #inito determinista.
4 U"#$%$ G-%.31#4%*
,.' Conceptos b!sicos.
,.) (e#inicin #ormal.
,.* Con$enciones de notacin.
,., ;otacin simpli#icada.
,.1 0ema de 6rden.
,.2 (eri$aciones 3rboles de dire$acin.
,.4 0enguaje generado por una gram!tica.
,.7 (ise5o de gram!ticas. +cnicas para el dise5o de gram!ticas. <odularidad de las gram!ticas.
0mites de las gram!ticas.
,.8 (ise5o arbitrario de gram!ticas.
,.'9 Primer acercamiento a la jerarqua de C=oms>y para gram!ticas.
,.'' ?ram!tica regular implementada en un autmata #inito no determinista.
5 U"#$%$ A(12.%1%* $& 5#/%
1.' Conceptos b!sicos.
1.) (e#inicin #ormal.
1.* @erarqua de lenguajes.
1., Aeconocimiento de una cadena en un autmata de pila.
1.1 Beguimiento en #ormato de corrida de escritorio.
1.2 ?ram!ticas independientes del conte"to implementadas en autmatas de pila.
6 U"#$%$ M37(#"% $& T(-#"'
2.' Conceptos b!sicos.
2.) <!quina de +uring como reali&adora de c!lculos.
2.* Aeconocimiento de una cadena de entrada.
2., <!quina de +uring como reconocedora de lenguajes.
2.1 (ise5o de la m!quina de +uring.
2.2 +cnicas para la construccin de las m!quinas de +uring.
8 U"#$%$ E95-&*#,"&*, 5-#.&- %4&-4%.#&"1,
4.' Consideraciones para generar e"presiones en lenguajes de programacin.
4.) Conceptos b!sicos.
4.* +rminos dentro de una e"presin.
4., +ipos de operadores.
4.1 Prioridad o precedencia.
4.2 ;otaciones.
4.4 ?eneracin de notaciones a tra$s de !rboles binarios.
4.7 Aecorrido del !rbol.
4.8 Importancia de la notacin pos#ija.
4.'9 6lgoritmo para con$ertir de notacin #ija a notacin pos#ija.
4.'' 6lgoritmo para e$aluar notaciones pos #ijas.
4.') 6plicacin de los algoritmos de con$ersin y e$aluacin en un programa.
4.'* Comentarios #inales.
EVALUACIN
Primer Parcial '9 puntos
Begundo Parcial )9 puntos
0aboratorios tares y
trabajos de in$estigacin
)9 puntos
E"amen Final 19 puntos
N,1% F#"%/ 100 5("1,*
BIBLIOGRAFIA
L#:-, $& T&91,
+eora de 6utmatas y 0enguajes FormalesC (ean Delley. Ed. Prentice Eall '881.
Froo>s=ear @. ?lenn G+eora de la Computacin 0enguajes Formales 6utmatas y ComplejidadH Editorial
6ddison Iesley Iberoamrica primera edicin JB6 '88*.
Eopcro#t @o=n y @e##ey Jllman GIntroduccin a la +eora de 6utmatas 0enguajes y ComputacinH. CECB6
tercera reimpresin <"ico '884
GCompiladores. Principios tcnicas y =erramientasH 6=o 6.K. Bet=i A. L Jllman @.(. Ed: 6ddison M Iesley
Iberoamericana. '889.