AUTMATAS Y LENGUAJES FORMALES

CDIGO: 301405

Descripcin General del Curso

Es un curso terico de tres (3) crditos acadmicos, Est compuesto por

tres unidades didcticas. La temtica aborda generalidades para la
definicin de lenguajes (expresiones regulares, gramticas
independientes del contexto y gramticas generales), los tres tipos de
mquinas correspondientes para su reconocimiento (autmatas finitos,
autmatas a pila y mquinas de Turing) y las propiedades fundamentales
de las familias de lenguajes por ellos definidas.

Propsitos

Apropiar conocimientos que le permitan adquirir los conceptos bsicos

de la teora de los lenguajes formales y la relacin que existe con la
teora de autmatas.
Comprender el alto nivel de abstraccin de las mquinas secuenciales
y los autmatas y que conozca los elementos y las tcnicas necesarias
para la construccin de las fases iniciales de un compilador.
Desarrollo de habilidades para disear autmatas, pilas (PDA) y
Mquinas de Turing para propsitos especficos, en los que se
reconozca su comportamiento, lenguaje que acepta y la forma de
expresarlos matemticamente, asocindolo a contextos reales o
escenarios reales que apliquen la implementacin de estas mquinas
abstractas.

Competencias

El estudiante desarrolla la capacidad de manejar la conceptualizacin

y contextualizacin tcnica y operativa de los componentes
computacionales de un autmata.
El estudiante representa lenguajes formales mediante expresiones
regulares, autmatas finitos, o gramticas.
El estudiante disea mquinas abstractas (Autmata de Pila y
Mquinas de Turing).
El estudiante podr clasificar determinado lenguaje dentro de una
jerarqua que los diferencia y caracteriza. As mismo podr definir
cuando un autmata genera un determinado lenguaje. El estudiante
comprender y asociar las aplicaciones de los autmatas llevados a
contextos reales y a problemas computacionales vlidos.
Contenido
Estrategia de Aprendizaje

El estudiante desarrolla la capacidad de manejar la conceptualizacin y

contextualizacin tcnica y operativa de los sistemas abstractos, es decir
las mquinas.

El estudiante disea estrategias de mejoramiento mediante la aplicacin

de las diferentes tcnicas utilizadas para realizar mquinas teniendo en
cuenta los procesos y procedimientos.

Se invita a los estudiantes a que realicen un proceso acadmico basado

en el constructivismo social del conocimiento de manera que su
aprendizaje sea significativo y que logre tener un impacto muy positivo
en su formacin integral y en el entorno donde la UNAD a travs de cada
uno de sus integrantes hace presencia, de esta manera tambin se
empieza a construir un pas mejor.

Gracias!