Universidad Nacional Abierta y a Distancia

Vicerrectoría Académica y de Investigación

Formato de syllabus de curso

1. IDENTIFICACIÓN DE CURSO

Escuela o unidad: Escuela de Ciencias

Sigla: ECBTI
Básicas, Tecnología e Ingeniería
Campo de formación: Formación
Nivel: Profesional disciplinar
Curso: Autómatas y lenguajes formales Código: 301405
Tipología de curso: Teórico N° de créditos: 3
Diseñador de curso: Ángela María Actualizador de curso: Ángela María
González Amarillo González Amarillo
Fecha de elaboración: 15 de Noviembre Fecha de actualización: 10 de mayo
de 2016 de 2018

Descripción del curso:

Autómatas y lenguajes formales es un curso de carácter teórico, que pertenece al

campo de formación profesional básico del Programa de Ingeniería de Sistemas con
un valor académico de tres créditos.

La temática aborda conceptos y mecanismos fundamentales para la definición de

lenguajes (expresiones regulares, gramáticas independientes del contexto y
gramáticas generales), los tres tipos de máquinas correspondientes para su
reconocimiento (autómatas finitos, autómatas a pila y máquinas de Turing) y las
propiedades fundamentales de las familias de lenguajes por ellos definidas,
también 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 programación de alto y bajo nivel para propiciar la distinción entre lenguajes
formales con reglas sintácticas y semánticas rígidas, concretas y bien definidas de los
lenguajes naturales, como el inglés o el español, donde la sintaxis y la semántica no
se pueden controlar fácilmente. Los intentos de formalizar los lenguajes naturales,
lleva a la construcción de gramáticas, como una forma de describir estos lenguajes,
utilizando para ello reglas de producción para construir las frases del lenguaje. En
cuanto a la utilidad práctica de esta asignatura, son importantes para la construcción
de compiladores: Los lenguajes regulares para la construcción de analizadores léxicos
y los lenguajes independientes del contexto para la construcción de analizadores
sintácticos. La tercera Unidad Didáctica (Lenguajes estructurados por frases incluidas
las máquinas de Turing) son fundamentales para el estudio de la computabilidad y
complejidad de problemas.

2. INTENCIONALIDADES FORMATIVAS

Propósitos de formación del curso:

Apropiar conocimientos que le permitan adquirir los conceptos básicos de la teoría de

los lenguajes formales y la relación que existe con la teoría de autómatas.

Comprender el alto nivel de abstracción de las máquinas secuenciales y los autómatas

y que conozca los elementos y las técnicas necesarias para la construcción de las fases
iniciales de un compilador.

Desarrollo de habilidades para diseñar autómatas, pilas (PDA) y Máquinas de Turing

para propósitos específicos, en los que se reconozca su comportamiento, lenguaje que
acepta y la forma de expresarlos matemáticamente, asociándolo a contextos reales o
escenarios reales que apliquen la implementación de estas máquinas abstractas.

Competencias del curso:

El estudiante desarrolla la capacidad de manejar la conceptualización y

contextualización técnica y operativa de los componentes computacionales de un
autómata

El estudiante representa lenguajes formales mediante expresiones regulares,

autómatas finitos, o gramáticas

El estudiante diseña máquinas abstractas (Autómata de Pila y Máquinas de Turing).

El estudiante podrá clasificar determinado lenguaje dentro de una jerarquía que los
diferencia y caracteriza. Así mismo podrá definir cuando un autómata genera un
determinado lenguaje. El estudiante comprenderá y asociará las aplicaciones de los
autómatas llevados a contextos reales y a problemas computacionales válidos.
 3. CONTENIDOS DEL CURSO

Unidades/te Recursos educativos requeridos

mas
1. UNIDAD 1: A continuación, se encuentran las referencias requeridas para la
Lenguajes comprensión de las temáticas y el desarrollo de las actividades de la
Regulares Unidad 1 propuestas. Por favor leer detalladamente cada temática
según las paginas relacionadas en cada una, recuerden que estas
lecturas son obligatorias para la comprensión manejo de la unidad.

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,

Gramáticas Y Autómatas Para Informáticos. Recuperado de
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

Hernández, R. (2010). Practique la teoría de autómatas 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., Mariyón, S. (2009). Teoría de autómatas

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

Millán, 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). Matemática discreta (2a. ed.).

(pp. 207-232). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=260&docID=10751543&tm=1481476339478
Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de
automáta [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=zMhwYlXAHE4&index=6&list=P
LYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto
Alemán. H. [Helena]. (2018, mayo 23). Expresión Regular [Archivo
de video]. Recuperado de https://youtu.be/65B5QUNHfaM

González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata

Finito No Determinista a Autómata Finito Determinista [Archivo de
video]. Recuperado de
https://www.youtube.com/watch?v=29Qp_AWXFt4

González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata

Finito No Determinista a Autómata Finito Determinista con
transiciones vacías – Método 1. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=NF47BSorRfU

González, A. [Ángela]. (2016, junio 6). Conversión de Autómata

Finito No Determinista a Autómata Finito Determinista con
transiciones vacías – Método 2. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=KhgMam0DMmM

González, A. [Ángela]. (2016, junio 6). Conversión de Autómata

Finito No Determinista a Autómata Finito Determinista con
transiciones vacías – Ejemplo 2. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=uLOXjZUTYyc

OVI - Unidad I – Lenguajes Regulares

En este recurso digital se brinda información a los estudiantes del

contenido temático 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.
 González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos.
[Archivo de video]. 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

OVA - Unidad I – Lenguajes Regulares

En este recurso digital de la OVA denominada Unidad I – Lenguajes

Regulares se brinda información sobre 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.

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo

web]. Recuperado de http://hdl.handle.net/10596/18315

2. Unidad 2 - A continuación, se encuentran las referencias requeridas para la

Lenguajes comprensión de las temáticas y el desarrollo de las actividades de la
Independiente Unidad 2 propuestas. Por favor leer detalladamente cada temática
s del Contexto
según las paginas relacionadas en cada una, recuerden que estas
lecturas son obligatorias para la comprensión manejo de la unidad.

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,

Gramáticas Y Autómatas Para Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&d
b=nlebk&AN=318032&lang=es&site=eds-
ive&ebv=EB&ppid=pp_Cover
Hernández, R. (2010). Practique la teoría de autómatas 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., Mariyón S, R. (2009). Teoría de

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

Millán, 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
González, A. [Ángela] (2017, mayo 16). Minimización de un
autómata. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=eOynYG8Ibk0&t=9s

OVA - Unidad 2 – Lenguajes Independientes del Contexto

En este recurso digital se brinda información a los estudiantes del

contenido temático 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.

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del

Contexto. [Archivo web]. Recuperado de
http://hdl.handle.net/10596/18317

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 - A continuación, se encuentran las referencias requeridas para la
Lenguajes comprensión de las temáticas y el desarrollo de las actividades de la
Estructurados Unidad 3 propuestas. Por favor leer detalladamente cada temática
por Frases
según las paginas relacionadas en cada una, recuerden que estas
lecturas son obligatorias para la comprensión manejo de la unidad.

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,

Gramáticas Y Autómatas Para Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&d
b=nlebk&AN=318032&lang=es&site=eds-
ive&ebv=EB&ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas 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., Mariyón S, R. (2009). Teoría de

autómatas 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 verificación de programas. (pp. 7 - 27). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=11201616&ppg=12

Bonilla, L. [Luis] (2018, mayo 23). Códigos Convolucionales Tellis y

Viterbi. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=Oe9WEAOLeyc&t=1218s

Bonilla, L. [Luis] (2018, mayo 23). Diagrama de árbol. [Archivo de

video]. Recuperado de
https://www.youtube.com/watch?v=HNS4IQw64Sk
 Bonilla, L. [Luis] (2018, mayo 23). Diagrama de estados. [Archivo de
video]. Recuperado de
https://www.youtube.com/watch?v=JTJkNco2tjQ&t=5s

Bonilla, L. [Luis] (2018, mayo 23). Diagrama de trellis. [Archivo de

video]. Recuperado de
https://www.youtube.com/watch?v=21JKzST2ZJY

OVA - UNIDAD 3 - Lenguajes Estructurados por Frases

En este recurso digital se brinda información a los estudiantes del

contenido temático 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.

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por

Frases. [Archivo web]. Recuperado de
http://hdl.handle.net/10596/18316

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:

Las referencias bibliográficas adicionales para el curso le ayudaran a ampliar la

información relacionada con las temáticas de cada una de las unidades del curso.

Unidad 1:

Moral, S., Teoría de Autómatas y Lenguajes Formales, 2006. Universidad de Granada:

Departamento de ciencias de la computación. P 118.
Unidad 2:

Kelley, D. (1995). Teoría de Autómatas y Lenguajes Formales, Prentice Hall

Hispanoamericana.

Brookshear, G. (1993). Teoría de la Computación, Addison Wesley Iberoamericana.

Hopcroft, E., Motwani, R., Ullman, J. (2002). Introducción a la teoría de autómatas,

lenguajes y computación. Addison Wesley.

Unidad 3:

Kelley, D. (1995). Teoría de Autómatas y Lenguajes Formales, Prentice Hall

Hispanoamericana.

Brookshear, G. (1993). Teoría de la Computación, Addison Wesley Iberoamericana.

Hopcroft, E., Motwani, R., Ullman, J. (2002). Introducción a la teoría de autómatas,

lenguajes y computación. Addison Wesley.

4. ESTRATEGIA DE APRENDIZAJE

Descripción 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: Resolución de problemas,
Toma de decisiones, Trabajo en equipo, Habilidades de comunicación (argumentación
y presentación de la información), Desarrollo de actitudes y valores: precisión,
revisión, 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 autómatas con pila y
gramáticas.
Fase 3: Reflexionar sobre el tema. Resolver cuestionario
Fase 4: Debatir y desarrollar los ejercicios planteados sobre Máquinas de Turing
Fase 5: Reflexionar sobre el tema. Resolver cuestionario
Fase 6: Debatir: Generar, determinar e implementar soluciones a los ejercicios
planteados

5. DISTRIBUCIÓN DE LAS ACTIVIDADES ACADÉMICAS DEL CURSO

Semana Contenidos a Actividad a desarrollar según la

desarrollar estrategia de aprendizaje
1-2 Contextualización, Presentar trabajo colaborativo individual. Fase
conocimientos previos: 0: Explorar. Desarrollar la actividad de
contextualización técnica y reconocimiento, Identificar conceptos y
operativa de los apreciaciones sobre el tema de estudio
componentes
computacionales de un
autómata.
3–6 Lenguajes formales Resolver problemas y ejercicios de lenguajes
mediante lenguajes y formales.
expresiones regulares, Fase 1: Debatir y desarrollar los ejercicios
autómatas finitos, o
gramáticas.

7 – 10 Lenguajes Independientes Resolver problemas y ejercicios de lenguajes

del Contexto, máquinas
abstractas (Autómata de
Pila).
11 – 14 Lenguajes Estructurados
por Frases, máquinas
abstractas (Máquinas de
Turing).
15 - 16 Unidad 1 2 y 3 Autómatas
y sus aplicaciones
formales.
Fase 2: Debatir y desarrollar los ejercicios
Fase 3: Reflexionar sobre el tema. Resolver
cuestionario
Resolver problemas y ejercicios de máquinas
de Turing.
Fase 4: Debatir y desarrollar los ejercicios
Fase 5: Reflexionar sobre el tema. Resolver
cuestionario
Debatir: Generar, determinar e implementar
soluciones a los ejercicios planteados
Fase 6: Desarrollar los ejercicios

6. ESTRATEGIAS DE ACOMPAÑAMIENTO DOCENTE

Descripción de las estrategias de acompañamiento docente a utilizar en
este curso.

El acompañamiento tutorial que se efectúa en el Curso Autómatas y lenguajes

formales, tomando en cuenta el Proyecto Académico Pedagógico de la UNAD, en donde
se establece como una acción comunicativa efectiva, provista de un conjunto de
estrategias encaminadas a potenciar de manera efectiva el aprendizaje, la formación
integral del estudiante y el desarrollo del pensamiento autónomo y crítico.

Dentro del curso de Autómatas y lenguajes formales, se contempla las siguientes

acciones:

 Sistema de interactividades: sincrónicas o asincrónicas.

 Acompañamiento: individual, pequeños grupos colaborativos y grupo de curso.
 Asesoría académica: elementos propios del curso.
 Orientaciones metodológicas: ambientes, recursos y métodos favorables para el
aprendizaje.
 Seguimiento a los procesos de aprendizaje del estudiante.
 Evaluación de los procesos de aprendizaje tanto en cada una de las interfaces
como en sus momentos de socialización.

7. PLAN DE EVALUACIÓN DEL CURSO

Númer Momento
Puntaje Ponderaci
o de s de la Productos a entregar según
máximo/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.
350
Fase 1: Debatir y desarrollar
ejercicios
Informe grupal en PDF con el
Intermedi
7 - 10 desarrollo de los problemas 75
a Unidad 2
ejercicios planteados sobre
 autómatas con pila y
gramáticas.
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 Máquinas 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
desarrollo de los problemas
15 - 16 Final ejercicios planteados. 125
Fase 6: Debatir y desarrollar
ejercicios
Puntaje Total 500 puntos 500
puntos