You are on page 1of 5

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN


CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE
INFORMACIN
PENSUM 2014
NOMBRE DEL CURSO:
AUTMATAS Y LENGUAJES FORMALES
CDIGO:
PRE-REQUISITO:

2014-28
80 CRDITOS

JORNADA:

VESPERTINA

CRDITOS
POST-

REQUISITO:

PRESENTACIN:

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 bsicos
computacionales, anlisis lxico y sintctico, as como una base para
computabilidad.

COMPETENCIAS GENERALES

Proporcionar al estudiante la base cientfica para resolver problemas


importantes dentro de la lgica algortmica, fundamentales para la
construccin de compiladores.
COMPETENCIAS ESPECFICAS

El estudiante
Que el estudiante se introduzca en el anlisis lxico, como mtodo de
solucin de problemas de renacimiento de patrones.
Que el alumno cuente con una idea bsica de procesos
computacionales.

CONTENIDO PROGRAMTICO DEL CURSO

1. Unidad Lenguaje
1.1 Definicin de lenguaje, orientada
operaciones con lenguajes.

la

formalidad,

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA


FACULTAD DE INGENIERA EN SISTEMAS
CARRERA: LICENCIATURA EN INGENIERA
INFORMACIN
PENSUM 2014
NOMBRE

DEL

CURSO:

AUTMATAS

DE INFORMACIN
EN SISTEMAS DE

LENGUAJES FORMALES

1.2 Conceptos bsicos orientados a la teora de compiladores.


1.3 Terminologa asociada a la definicin conceptual de
lenguaje.
1.4 Esquema y simbologa de definicin de lenguaje.
2. Unidad Lenguajes formales.
2.1 Conceptos bsicos.
2.2 Operadores bsicos * y +.
2.3 Primera definicin de lenguaje. Lenguaje formal. Lenguaje
regular.
2.4 Expresiones regulares.
2.5 Precedencia en las expresiones regulares.
2.6 lgebra de expresiones regulares.
2.7 Diseo de expresiones regulares.
3. Unidad Autmatas finitos.
3.1 Conceptos bsicos.
3.2 Definicin formal de autmata finito. Autmatas finitos en
representacin grfica.
3.3 Anlisis de la entrada a travs de un autmata finito.
Lenguaje aceptado por un autmata finito.
3.4 Ejemplos de autmatas orientados a disear la etapa de
lxico de un lenguaje de
3.5 programacin.
3.6 Tipos de autmatas.
3.7 Autmata finito determinista.
3.8 Autmata finito no determinista.
3.9 Anlisis de la entrada a travs de un autmata finito no
determinista.
3.10Autmata con transiciones-E
3.11Anlisis de la entrada a travs de un autmata finito con
transiciones-E.
3.12Autmata no determinista y con transiciones-E.
3.13Conversin de autmata finito no determinista a autmata
finito determinista.
3.14Conversin de autmata finito con transiciones-E a

autmata finito determinista.

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA


FACULTAD DE INGENIERA EN SISTEMAS
CARRERA: LICENCIATURA EN INGENIERA
INFORMACIN
PENSUM 2014
NOMBRE

DEL

CURSO:

AUTMATAS

DE INFORMACIN
EN SISTEMAS DE

LENGUAJES FORMALES

3.15Conversin de expresin regular a autmata finito no


determinista.
3.16Conversin de expresin regular a autmata finito
determinista.
4. Unidad Gramticas.
4.1 Conceptos bsicos.
4.2 Definicin formal.
4.3 Convenciones de notacin.
4.4 Notacin simplificada.
4.5 Lema de Arden.
4.6 Derivaciones, rboles de derivacin.
4.7 Lenguaje generado por una gramtica.
4.8 Diseo de gramticas.
Tcnicas para el diseo de
gramticas. Modularidad de las gramticas. Lmites de las
gramticas.
4.9 Diseo arbitrario de gramticas.
4.10Primer acercamiento a la jerarqua de Chomsky para
gramticas.
4.11Gramtica regular implementada en un autmata finito no
determinista.
5. Unidad Autmatas de pila
5.1 Conceptos bsicos.
5.2 Definicin formal.
5.3 Jerarqua de lenguajes.
5.4 Reconocimiento de una cadena en un autmata de pila.
5.5 Seguimiento en formato de corrida de escritorio.
5.6 Gramticas independientes del contexto, implementadas
en autmatas de pila.
6. Unidad Mquina de Turing
6.1 Conceptos bsicos.
6.2 Mquina de Turing como realizadora de clculos.
6.3 Reconocimiento de una cadena de entrada.
6.4 Mquina de Turing como reconocedora de lenguajes.
6.5 Diseo de la mquina de Turing.
6.6 Tcnicas para la construccin de las mquinas de Turing.

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA


FACULTAD DE INGENIERA EN SISTEMAS
CARRERA: LICENCIATURA EN INGENIERA
INFORMACIN
PENSUM 2014
NOMBRE

DEL

CURSO:

AUTMATAS

DE INFORMACIN
EN SISTEMAS DE

LENGUAJES FORMALES

7. Unidad Expresiones, primer acercamiento.


7.1 Consideraciones para generar expresiones en lenguajes de
programacin.
7.2 Conceptos bsicos.
7.3 Trminos dentro de una expresin.
7.4 Tipos de operadores.
7.5 Prioridad o precedencia.
7.6 Notaciones.
7.7 Generacin de notaciones a travs de rboles binarios.
7.8 Recorrido del rbol.
7.9 Importancia de la notacin posfija.
7.10Algoritmo para convertir de notacin fija a notacin posfija.
7.11Algoritmo para evaluar notaciones pos fijas.
7.12Aplicacin de los algoritmos de conversin y evaluacin en
un programa.
7.13Comentarios finales.

EVALUACIN

Primer Parcial
Segundo Parcial
Laboratorios, tares y trabajos de investigacin
Examen Final
Nota Final

10 puntos
20 puntos
20 puntos
50 puntos
100 puntos

Bibliografa

Teora de Autmatas y Lenguajes Formales", Dean Kelley. Ed.


Prentice Hall, 1995.
Brookshear, J. Glenn Teora de la Computacin, Lenguajes
Formales, Autmatas y Complejidad, Editorial Addison
Wesley Iberoamrica, primera edicin USA 1993.

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA


FACULTAD DE INGENIERA EN SISTEMAS
CARRERA: LICENCIATURA EN INGENIERA
INFORMACIN
PENSUM 2014
NOMBRE

DEL

CURSO:

AUTMATAS

DE INFORMACIN
EN SISTEMAS DE

LENGUAJES FORMALES

Hopcroft, John y Jeffey Ullman, Introduccin a la Teora de


Autmatas, Lenguajes y Computacin. CECSA, tercera
reimpresin, Mxico 1997
Compiladores. Principios, tcnicas y herramientas, Aho A.V.,
Sethi R,. & Ullman J.D. Ed: Addison Wesley
Iberoamericana. 1990.

You might also like