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!