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: 1 de
de 2016 diciembre de 2017

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: Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,
Lenguajes Gramáticas Y Autómatas Para Informáticos. 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

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
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

2. Unidad 2 -
Lenguajes Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,
Independiente Gramáticas Y Autómatas Para Informáticos. Recuperado de
s del Contexto
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.

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 -
Lenguajes Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,
Estructurados Gramáticas Y Autómatas Para Informáticos. Recuperado de
por Frases
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
 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.

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., 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 formales.
abstractas (Autómata 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 máquinas
por Frases, máquinas de Turing.
abstractas (Máquinas de Fase 4: Debatir y desarrollar los ejercicios
Turing). Fase 5: Reflexionar sobre el tema. Resolver
cuestionario
15 - 16 Unidad 1 2 y 3 Autómatas Debatir: Generar, determinar e implementar
y sus aplicaciones 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.
Fase 1: Debatir y desarrollar
ejercicios
Informe grupal en PDF con el
desarrollo de los problemas
ejercicios planteados sobre
autómatas con pila y 75
Intermedi
7 - 10 gramáticas.
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 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