Universidad Nacional Abierta y a Distancia

Vicerrectora Acadmica y de Investigacin

Formato de syllabus de curso

1. IDENTIFICACIN DE CURSO

Escuela o unidad: Escuela de Ciencias

Sigla: ECBTI
Bsicas, Tecnologa e Ingeniera
Campo de formacin: Formacin
Nivel: Profesional disciplinar
Curso: Autmatas y lenguajes formales Cdigo: 301405
Tipologa de curso: Terico N de crditos: 3
Diseador de curso: ngela Mara Actualizador de curso: ngela Mara
Gonzlez Amarillo Gonzlez Amarillo
Fecha de elaboracin: 15 de Noviembre Fecha de actualizacin: 15 de junio
de 2016 de 2017

Descripcin del curso:

Autmatas y lenguajes formales es un curso de carcter terico, que pertenece al

campo de formacin profesional bsico del Programa de Ingeniera de Sistemas con
un valor acadmico de tres crditos.

La temtica aborda conceptos y mecanismos fundamentales 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,
tambin realiza el estudio de las condiciones necesarias para que un lenguaje
sea de un tipo determinado. Este curso toma como base el avance de los lenguajes
de programacin de alto y bajo nivel para propiciar la distincin entre lenguajes
formales con reglas sintcticas y semnticas rgidas, concretas y bien definidas de los
lenguajes naturales, como el ingls o el espaol, donde la sintaxis y la semntica
no se pueden controlar fcilmente. Los intentos de formalizar los lenguajes
naturales, lleva a la construccin de gramticas, como una forma de describir estos
lenguajes, utilizando para ello reglas de produccin para construir las frases del
lenguaje. En cuanto a la utilidad prctica de esta asignatura, son importantes para
la construccin de compiladores: Los lenguajes regulares para la construccin de
analizadores lxicos y los lenguajes independientes del contexto para la
construccin de analizadores sintcticos. La tercera Unidad Didctica (Lenguajes
estructurados por frases incluidas las mquinas de Turing) son fundamentales
para el estudio de la computabilidad y complejidad de problemas.

2. INTENCIONALIDADES FORMATIVAS

Propsitos de formacin del curso:

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 del curso:

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.
 3. CONTENIDOS DEL CURSO

Unidades/te Recursos educativos requeridos

mas
1. UNIDAD 1: Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes,
Lenguajes Gramticas Y Autmatas Para Informticos. Recuperado de:
Regulares http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&d
b=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cov
er
Hernndez, R. (2010). Practique la teora de autmatas y lenguajes
formales. (pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10

Alfonseca, C., Alfonseca, M., Mariyn, S. (2009). Teora de autmatas

y lenguajes formales. (pp. 7-797). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6

Milln, J., Antonio J. (2009). Compiladores y procesadores de

lenguajes. (pp. 28-62). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?d
ocID=10844351

Ferrando, J.C., and Gregori, V. (2012). Matemtica discreta (2a. ed.).

(pp. 207-232). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=260&docID=10751543&tm=1481476339478

Alemn, H. (2017). Conceptualizacin de automta. Recuperado de:

https://www.youtube.com/watch?v=zMhwYlXAHE4&index=6&list=P
LYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto
Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista
a Autmata Finito Determinista. Recuperado de:
https://www.youtube.com/watch?v=29Qp_AWXFt4

Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista

a Autmata Finito Determinista con transiciones vacas Mtodo 1.
Recuperado de: https://www.youtube.com/watch?v=NF47BSorRfU

Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista

a Autmata Finito Determinista con transiciones vacas Mtodo 2.
Recuperado de:
https://www.youtube.com/watch?v=KhgMam0DMmM
Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista
a Autmata Finito Determinista con transiciones vacas Ejemplo 2.
Recuperado de: https://www.youtube.com/watch?v=uLOXjZUTYyc

OVI - Unidad I Lenguajes Regulares

En este recurso digital se brinda informacin a los estudiantes del

contenido temtico de la Unidad 1- Lenguajes regulares con el
objetivo de facilitar el reconocimiento de los diferentes elementos que
se deben tener en cuenta para el cumplimiento de los objetivos
cognitivos de la unidad.

Gonzlez, A. (2017). Autmatas Finitos. Recuperado de:

http://hdl.handle.net/10596/10470

CK-12, (2015). Operations with Sets. [OVA]. Recuperado de:

http://www.ck12.org/probability/Operations-with-Sets/plix/Lets-
Roll-the-Dice-
56e1fc1f8e0e0813d4b14128/?referrer=concept_details.

CK-12, (2015). Operations with Sets Practice. [OVA]. Recuperado de:

http://www.ck12.org/probability/Operations-with-
 Sets/asmtpractice/Operations-with-Sets-
Practice/?referrer=concept_details

2. Unidad 2 - Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes,

Lenguajes Gramticas Y Autmatas Para Informticos. Recuperado de:
Independiente http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&d
s del Contexto
b=nlebk&AN=318032&lang=es&site=eds-
ive&ebv=EB&ppid=pp_Cover

Hernndez, R. (2010). Practique la teora de autmatas y lenguajes

formales. (pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10

Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de

autmatas y lenguajes formales. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6

Milln, J., Antonio J. (2009). Compiladores y procesadores de

lenguajes. (pp. 73-126). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?d
ocID=10844351

Gonzlez, A. (2017). Minimizacin de un autmata. Recuperado de:

https://www.youtube.com/watch?v=eOynYG8Ibk0&t=9s

OVA - Unidad 2 Lenguajes Independientes del Contexto

En este recurso digital se brinda informacin a los estudiantes del

contenido temtico de la Unidad 2 Lenguajes Independientes del
Contexto con el objetivo de facilitar el reconocimiento de los
diferentes elementos que se deben tener en cuenta para el
cumplimiento de los objetivos cognitivos de la unidad.
 CK-12, (2014). Connecting Science and Mathematics to Engineering.
[OVI]. Recuperado de:
http://www.ck12.org/book/Engineering%3A-An-Introduction-for-
High-School/section/5.3/

3. Unidad 3 - Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes,

Lenguajes Gramticas Y Autmatas Para Informticos. Recuperado de:
Estructurados http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&d
por Frases
b=nlebk&AN=318032&lang=es&site=eds-
ive&ebv=EB&ppid=pp_Cover

Hernndez, R. (2010). Practique la teora de autmatas y lenguajes

formales. (pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10

Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de

autmatas y lenguajes formales. (pp. 7-797). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6

Rosenfeld, D. (2016). Computabilidad, Complejidad computacional

y verificacin de programas. (pp. 7 - 27). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=11201616&ppg=12

OVA - UNIDAD 3 - Lenguajes Estructurados por Frases

En este recurso digital se brinda informacin a los estudiantes del

contenido temtico de la UNIDAD 3 - Lenguajes Estructurados por
Frases con el objetivo de facilitar el reconocimiento de los diferentes
elementos que se deben tener en cuenta para el cumplimiento de los
objetivos cognitivos de la unidad.
 CK-12, (2012). Case History: How Math, Science, and Engineering
Led to the First Pocket Radio. [OVI]. Recuperado de:
http://www.ck12.org/book/Engineering%3A-An-Introduction-for-
High-School/section/5.2/

Recursos educativos adicionales para el curso:

Unidad 1:

Moral, S., Teora de Autmatas y Lenguajes Formales, 2006. Universidad de Granada:

Departamento de ciencias de la computacin. P 118.

Unidad 2:

Kelley, D. (1995). Teora de Autmatas y Lenguajes Formales, Prentice Hall

Hispanoamericana.

Brookshear, G. (1993). Teora de la Computacin, Addison Wesley Iberoamericana.

Hopcroft, E., Motwani, R., Ullman, J. (2002). Introduccin a la teora de autmatas,

lenguajes y computacin. Addison Wesley.

Unidad 3:

Kelley, D. (1995). Teora de Autmatas y Lenguajes Formales, Prentice Hall

Hispanoamericana.

Brookshear, G. (1993). Teora de la Computacin, Addison Wesley Iberoamericana.

Hopcroft, E., Motwani, R., Ullman, J. (2002). Introduccin a la teora de autmatas,

lenguajes y computacin. Addison Wesley.
 4. ESTRATEGIA DE APRENDIZAJE

Descripcin de la estrategia de aprendizaje:

Estrategia de aprendizaje basada en problemas (ABP): El aprendizaje basado en

problemas representa una estrategia eficaz y flexible que, a partir de lo que hacen los
estudiantes, puede mejorar la calidad de su aprendizaje universitario en aspectos muy
diversos. As, el ABP ayuda al alumno a desarrollar y a trabajar diversas
Competencias. Dentro de estas competencias tenemos: Resolucin de problemas,
Toma de decisiones, Trabajo en equipo, Habilidades de comunicacin (argumentacin
y presentacin de la informacin), Desarrollo de actitudes y valores: precisin,
revisin, tolerancia.

Involucra las siguientes fases:

Fase 0: Explorar. Desarrollar la actividad de reconocimiento.

Fase 1: Debatir y desarrollar los ejercicios planteados sobre lenguajes y expresiones
regulares.
Fase 2: Debatir y desarrollar los ejercicios planteados sobre autmatas con pila y
gramticas.
Fase 3: Reflexionar sobre el tema. Resolver cuestionario
Fase 4: Debatir y desarrollar los ejercicios planteados sobre Mquinas de Turing
Fase 5: Reflexionar sobre el tema. Resolver cuestionario
Fase 6: Debatir: Generar, determinar e implementar soluciones a los ejercicios
planteados

5. DISTRIBUCIN DE LAS ACTIVIDADES ACADMICAS DEL CURSO

Semana Contenidos a Actividad a desarrollar segn la

desarrollar estrategia de aprendizaje
1y2 Contextualizacin, Presentar trabajo colaborativo individual. Fase
conocimientos previos: 0: Explorar. Desarrollar la actividad de
contextualizacin tcnica y reconocimiento, Identificar conceptos y
operativa de los apreciaciones sobre el tema de estudio
componentes
computacionales de un
autmata.
36 Lenguajes formales Resolver problemas y ejercicios de lenguajes
mediante lenguajes y formales.
expresiones regulares, Fase 1: Debatir y desarrollar los ejercicios
autmatas finitos, o
gramticas.

7 10 Lenguajes Independientes Resolver problemas y ejercicios de lenguajes

del Contexto, mquinas formales.
abstractas (Autmata de Fase 2: Debatir y desarrollar los ejercicios
Pila). Fase 3: Reflexionar sobre el tema. Resolver
cuestionario
11 14 Lenguajes Estructurados Resolver problemas y ejercicios de mquinas
por Frases, mquinas de Turing.
abstractas (Mquinas de Fase 4: Debatir y desarrollar los ejercicios
Turing). Fase 5: Reflexionar sobre el tema. Resolver
cuestionario
15 16 Unidad 1 2 y 3 Autmatas Debatir: Generar, determinar e implementar
y sus aplicaciones soluciones a los ejercicios planteados
Fase 6: Desarrollar los ejercicios

6. ESTRATEGIAS DE ACOMPAAMIENTO DOCENTE

Descripcin de las estrategias de acompaamiento docente a utilizar en

este curso.

El acompaamiento tutorial que se efecta en el Curso Autmatas y lenguajes

formales, tomando en cuenta el Proyecto Acadmico Pedaggico de la UNAD, en donde
se establece como una accin comunicativa efectiva, provista de un conjunto de
estrategias encaminadas a potenciar de manera efectiva el aprendizaje, la formacin
integral del estudiante y el desarrollo del pensamiento autnomo y crtico.

Dentro del curso de Autmatas y lenguajes formales, se contempla las siguientes

acciones:

Sistema de interactividades: sincrnicas o asincrnicas.

Acompaamiento: individual, pequeos grupos colaborativos y grupo de curso.
Asesora acadmica: elementos propios del curso.
Orientaciones metodolgicas: ambientes, recursos y mtodos favorables para el
aprendizaje.
Seguimiento a los procesos de aprendizaje del estudiante.
 Evaluacin de los procesos de aprendizaje tanto en cada una de las interfaces
como en sus momentos de socializacin.

7. PLAN DE EVALUACIN DEL CURSO

Nmer Momento
Puntaje Ponderaci
o de s de la Productos a entregar segn
mximo/500 n/500
seman evaluaci la estrategia de aprendizaje
puntos puntos
a n
Realizar trabajo individual de 25
1-2 Inicial 25
reconocimiento del curso
Informe grupal en PDF con el
desarrollo de los problemas
ejercicios planteados sobre
Intermedi
3-6 lenguajes y expresiones 75
a Unidad 1
regulares.
Fase 1: Debatir y desarrollar
ejercicios
Informe grupal en PDF con el
desarrollo de los problemas
ejercicios planteados sobre
autmatas con pila y 75
Intermedi
7-10 gramticas.
a Unidad 2 350
Fase 2: Debatir y desarrollar
ejercicios
Desarrollo individual del test.
75
Fase 3: Resolver cuestionario
Informe grupal en PDF con el
desarrollo de los problemas
ejercicios planteados sobre
75
Intermedi Mquinas de Turing.
11-14
a Unidad 3 Fase 4: Debatir y desarrollar
ejercicios
Desarrollo individual del test.
50
Fase 5: Resolver cuestionario
Informe grupal en PDF con el 125
15-16 Final desarrollo de los problemas 125
ejercicios planteados.
Fase 6: Debatir y desarrollar
ejercicios
Puntaje Total 500 puntos 500
puntos