ECBTI/ZCBOY/

Ingeniera de
Sistemas
PRESENTACION CURSO ACADEMICO DE
AUTOMATAS Y LENGUAJES FORMALES
Ingeniera de Sistemas
Escuela de Ciencias Bsicas,
Tecnologa e Ingeniera
FI-GQ-GCMU-004-015 V. 001-17-04-2013
Direccin del curso
FI-GQ-GCMU-004-015 V. 001-17-04-2013
Mi nombre es Carlos Alberto Amaya Tarazona, soy Ingeniero de
Sistemas, Magister en el rea de software libre, administracin de
redes y sistemas operativos, pertenezco al Cead de Duitama
ubicado en al zona Centro Boyac, ejerzo el rol de Director a nivel
nacional del curso acadmico Autmatas y Lenguajes Formales, y
soy docente de la Escuela de Ciencias Bsicas Tecnologa e
Ingeniera, en el programa de Ingeniera de Sistemas.
Ciencias Bsicas e
Ingeniera
Sean todos bienvenidos al curso acadmico de
Autmatas y Lenguajes formales

Nmero de crditos del curso: 3 crditos
Nmero de semanas acadmicas: 18 semanas
Estrategia Pedaggica: Evaluacin por
problemas
Curso habilitable, no se puede ir al 100%
FI-GQ-GCMU-004-015 V. 001-17-04-2013
Propsitos del curso
acadmico
FI-GQ-GCMU-004-015 V. 001-17-04-2013
Facilitar la apropiacin de conocimientos para que el estudiante pueda Adquirir
los conceptos bsicos de la teora de los lenguajes formales y la relacin que
existe con la teora de autmatas.

Lograr que el estudiante entienda 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.

Mediante el uso de simuladores, se puedan 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
generales del curso
FI-GQ-GCMU-004-015 V. 001-17-04-2013
El estudiante podr identificar los componentes computacionales de un autmata, tendr la
capacidad de describirlos y formularlos, caracterizndolos de manera matemtica
(llevndolos a recrearlos en diagramas o tablas de transicin).

El estudiante lograr identificar un Lenguaje que genera determinado autmata. Lo
describir, aplicando su sintaxis a cadenas vlidas.

El estudiante llegar a interpretar Expresiones Regulares (ER) y comprende la precedencia
de operadores y su significado.-

Se propende por la comprensin en el funcionamiento de una mquina abstracta (Autmata
de Pila y Mquinas de Turing). Identificar caractersticas y diseos computacionales.

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..
Aprendizaje Basado
en problemas ABP
FI-GQ-GCMU-004-015 V. 001-17-04-2013
Momento 1
Identificacin de
la estrategia EBP.
( Reconocimiento
del problema)
Momento 2:
Contextualizacin
de los autmatas
Momento 3:
Caracterizacin
de las mquinas
Momento 4:
Solucin de un
problema real
Recomendaciones finales
FI-GQ-GCMU-004-015 V. 001-17-04-2013
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.
FI-GQ-GCMU-004-015 V. 001-17-04-2013
ECBTI/ZCBOY/