1257 - Automatas, Gramaticas y Lenguajes OK

POLITCNICO GRANCOLOMBIANO
INSTITUCION UNIVERSITARIA
DEPARTAMENTO ACADMICO DE SISTEMAS

I. IDENTIFICACIN DE LA ASIGNATURA
NOMBRE DE LA ASIGNATURA:
Autmatas, Gramticas y Lenguajes
CODIGO DE LA ASIGNATURA:
1257
NUMERO DE CRDITOS:
TIPO DE ASIGNATURA:
Terico - Prctica
INTENSIDAD HORARIA:
4 Horas
CONDICIONES DE PREINSCRIPCION: Elementos de Teora de la Computacin

II. DESCRIPCION
El propsito de la asignatura Autmatas, Gramticas y Lenguajes es el de brindar
un panorama de diversos modelos computacionales y la capacidad de cada uno,
incluyendo sus limitaciones.
En particular, se ven los modelos computacionales ms comunes tales como
Autmatas Finitos (y conceptos equivalentes como Redes Neuronales, entre
otros), Autmatas de Pila y Mquinas de Turing. Adems, se muestra con
aplicaciones las ventajas de dicha abstraccin a la hora de realizar compiladores
para lenguajes de programacin, al igual que otros contextos donde se requiera
anlisis sintctico. Estos preceptos justifican la tesis que cualquier Ingeniero de
Sistemas o estudioso de las Ciencias de la Computacin debe poseer, por cultura
y comprensin general, un conocimiento bsico de Modelos Computacionales y
Teora de Lenguajes.
Dado que el curso tiene carcter terico, adems del prctico, se considera que
este curso constituye la introduccin a tpicos ms avanzados desde el punto de
vista terico (Computabilidad, Teora de la Complejidad Algortmica) o prctico
(Diseo y Fundamentos de Compiladores), que podran ser del inters de algunos
estudiantes.
III. LOGRO BSICO DE LA ASIGNATURA
Se pretende que el estudiante que ha tomado esta asignatura est en capacidad
de:
OCTUBRE DE 2006
Reconocer que previo al diseo fsico de una mquina (computador), se debe

hacer una abstraccin a fin de entender cmo funciona una mquina y los
alcances de la misma antes de ser construida.
Aplicar los conceptos vistos para entender cmo se construye un lenguaje de
programacin y como se disean compiladores para esta clase de lenguajes.
IV. COMPETENCIAS RELACIONADAS CON LA ASIGNATURA
Comprensin y utilizacin del lenguaje matemtico.
Capacidad para realizar programacin y disear algoritmos
implementaciones de modelos computacionales con ciertas limitaciones.
para
Capacidad para disear gramticas y algoritmos de compilacin para lenguajes

libres de contexto, al igual que lenguajes de programacin.
Capacidad de realizar justificaciones verbales a teoremas matemticos con una
fuerte base intuitiva (que radica en la comprensin de un modelo computacional
en particular).
Proposicin, anlisis, interpretacin y validacin de modelos de situaciones
sencillas, mediante el uso de herramientas matemticas adecuadas.
Capacidad para el aprendizaje autnomo de conocimientos y tcnicas.
V. NCLEOS TEMTICOS
NCLEO TEMTICO 1
Introduccin a Modelos Computacionales: Autmatas Finitos Deterministas.
NCLEO TEMTICO 2
Lenguajes libres del contexto.
NCLEO TEMTICO 3
Aplicaciones de Teora de Lenguajes.
VI. DESARROLLO DIDCTICO DE CADA NCLEO TEMTICO

En cualquier curso relacionado con Lgica Matemtica como ste, es muy
importante la prctica constante de escribir soluciones y formalizar argumentos, a
fin de adquirir destreza con el lenguaje matemtico. El estudiante debe ser
autocrtico acerca de la precisin de sus argumentos y saber reconocer cuando
OCTUBRE DE 2006
una justificacin es completa o tan slo parcial; esto le ayudar a mejorar con el
transcurrir del curso.
VII. EVALUACION
Se realizarn las siguientes actividades de evaluacin segn el perodo
QUIZZES Y TAREAS
PROYECTO DE AULA (comn a todos los grupos que ven este curso)
PARCIAL O EXAMEN DEL PERODO.
Detalle Primer Periodo: 30%
QUIZZES - PORCENTAJE 5%
TAREA - PORCENTAJE 10%
PRIMER EXAMEN - PORCENTAJE 15%
Detalle Segundo Periodo: 30%
TAREA - PORCENTAJE 5%
QUIZ - PORCENTAJE 5%
SEGUNDO EXAMEN - PORCENTAJE 15%
Detalle Tercer Periodo: 40%
QUIZ - PORCENTAJE 5%
PROYECTO DE AULA - PORCENTAJE 15% (DIVIDIDO EN DOS
ENTREGAS).
EXAMEN FINAL - PORCENTAJE 20%
El objetivo de un proyecto de aula en este curso es el de ilustrar una aplicacin

prctica de la Teora de Lenguajes aprendida en clase. En otras palabras, puede
corresponder a una aplicacin particular de la teora en Anlisis Sintctico o a un
estudio sobre propiedades de otro modelo computacional no visto en clase,
usando el razonamiento visto en clase con los modelos conocidos.
VIII. APOYOS REFERENCIALES
BIBLIOGRAFICOS
MARTIN, John. Lenguajes formales y teora de la computacin. 3 ed. McGraw Hill,
2004.
BROOKSHEAR J, Glenn. Teora de la computacin: Lenguajes formales,
autmatas y complejidad. Addison-Wesley, 1993.
OCTUBRE DE 2006
JOHNSONBAUGH,
Richard.
Iberoamericana, 2001.
Matemticas
discretas.
Grupo
Editorial
DE CASTRO, Rodrigo. Teora de la computacin, Notas de Clase Facultad de

Ciencias, Universidad Nacional de Colombia, 2004.
OCTUBRE DE 2006

1257 - Automatas, Gramaticas y Lenguajes OK

Cargado por

Copyright:

Formatos disponibles

1257 - Automatas, Gramaticas y Lenguajes OK

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

1257 - Automatas, Gramaticas y Lenguajes OK

Cargado por

Copyright:

Formatos disponibles

POLITCNICO GRANCOLOMBIANO

DEPARTAMENTO ACADMICO DE SISTEMAS

Autmatas, Gramticas y Lenguajes

CONDICIONES DE PREINSCRIPCION: Elementos de Teora de la Computacin

Reconocer que previo al diseo fsico de una mquina (computador), se debe

Capacidad para disear gramticas y algoritmos de compilacin para lenguajes

VI. DESARROLLO DIDCTICO DE CADA NCLEO TEMTICO

Detalle Primer Periodo: 30%

Detalle Segundo Periodo: 30%

Detalle Tercer Periodo: 40%

El objetivo de un proyecto de aula en este curso es el de ilustrar una aplicacin

DE CASTRO, Rodrigo. Teora de la computacin, Notas de Clase Facultad de

También podría gustarte