Universidad Nacional Abierta y a Distancia

Vicerrectoría Académica y de Investigación

Syllabus del curso Autómatas y Lenguajes Formales, Código 301405

1. Datos del curso

Unidad a la que pertenece el curso: Escuela de Ciencias Básicas Tecnología e

Ingeniería ECBTI

Nivel de formación: Profesional Campo de formación: Disciplinar

Número de Créditos: 3 Tipología de Curso: Teórico

Docente que diseña el curso: Angela

El curso Sí se puede habilitar
María González Amarillo

Docente que actualiza el curso: Angela María González Amarillo

Fecha de elaboración del curso: viernes, Fecha de actualización del curso:

10 de julio de 2020 viernes, 10 de julio de 2020

Descripción del curso:

El curso de Autómatas y lenguajes formales hace parte del campo de formación profesional
específico del programa de Ingeniería de Sistemas y afines y corresponde a la red curricular
de programación y algoritmia. El curso se ocupa del estudio de las máquinas de estados finitos
desde sus orígenes hasta los distintos campos donde son utilizados como ingeniería, lenguajes
y gramáticas, matemáticas y computabilidad.

El tipo de curso es teórico y se ha estructurado en tres (3) unidades que corresponden a 3

créditos académicos, la primera unidad está orientada a lenguajes regulares y sus máquinas,
aborda conceptos y mecanismos fundamentales para la definición de lenguajes, expresiones
regulares, autómatas y sus tipos, la segunda unidad aborda los lenguajes independientes del
contexto y sus máquinas y gramáticas regulares, aquí se estudian las propiedades
fundamentales de los autómatas a pila y los lenguajes que estos definen y la tercera unidad
maneja los lenguajes estructurados por frases, se abordan las máquinas de Turing los cuales
son fundamentales para el estudio de la computabilidad y complejidad de problemas.

2. Propósito de formación:
El propósito de formación del curso es el siguiente:

1
Crea máquinas de estados finitos, a partir de conceptos, propiedades y procedimientos de la
teoría clásica de computación, con el fin de evaluar la forma de resolución de problemas y
facilitar el proceso de toma de decisiones.

3. Resultados de aprendizaje

Al finalizar el curso académico el estudiante estará en la capacidad de evidenciar:

Resultado de aprendizaje 1: Diseñar distintos tipos de autómatas a partir de la interpretación

de alfabetos, cadenas, lenguajes y expresiones regulares.
Resultado de aprendizaje 2: Construir autómatas de pila y gramáticas independientes de
contexto mediante mecanismos de representación formal, teniendo en cuenta la comprensión
del tipo de problemas que cada uno puede resolver.
Resultado de aprendizaje 3: Construir máquinas de Turing para dar solución a problemas
computacionales en contextos reales.

4. Estrategia de aprendizaje:

La estrategia de aprendizaje del curso es: El Aprendizaje Basado en Tareas (ABT)

Esta estrategia consiste en: Incentivar el pensamiento crítico en torno a la resolución de

tareas diseñadas para adquirir diversas competencias, facilitando el aprendizaje y autonomía
del estudiante. Es una estrategia participativa de trabajo activo y gira en torno al desarrollo
de tareas que propenden el logro de los resultados de aprendizaje planteados para el curso y
que permiten el desarrollo de habilidades necesarias para su inserción en la vida laboral y su
desempeño profesional.

La estrategia de aprendizaje se divide en una primera tarea que es la introducción al tema,

seguido de tres tareas que son realizadas por los estudiantes con trabajo individual y grupal.
Esta etapa conlleva a que el estudiante haga una planeación de la tarea que realizará,
teniendo en cuenta los recursos que necesitará, haciendo énfasis en la importancia de tener
un producto claro, organizado y preciso y finalmente, se entrega el producto de la tarea, es
aquí donde se hace el análisis del conocimiento nuevo adquirido en el proceso de aprendizaje
en el curso.

La estrategia de aprendizaje se organiza en 5 Tareas

 Tarea 1: Fundamentación
 Tarea 2: Diseño de Autómatas
 Tarea 3: Construcción de Autómatas de Pila
2
  Tarea 4: Construcción de Máquinas de Turing
 Tarea 5: Consolidación del aprendizaje

5. Contenidos y referentes bibliográficos del curso

Unidad 1: Lenguajes Regulares

En esta unidad se abordarán los siguientes contenidos:

 Reconocimiento de conceptos básicos de Autómatas y lenguajes formales
 Lenguajes Regulares
 Expresiones Regulares
 Autómatas finitos

Para abordar los contenidos se requiere consultar los siguientes referentes bibliográficos:

 Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de
lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 127 - 142).
Recuperado de https://bibliotecavirtual.unad.edu.co/login?url=https://search-
ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lan
g=es&site=ehost-live&ebv=EB&ppid=pp_Cover
 Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Universidad de
Extremadura. Servicio de Publicaciones. (pp. 39 - 70). Recuperado de
https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.asp
x?direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site

OVI Unidad 1 - Autómatas Finitos

González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video].
Recuperado de http://hdl.handle.net/10596/10470

OVA Unidad 1 - Lenguajes Regulares

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado de
http://hdl.handle.net/10596/18315

González, A. [Ángela]. (2020, julio 14). Lenguajes Regulares. [Archivo web]. Recuperado de
https://campus113.unad.edu.co/ecbti73/mod/hvp/view.php?id=1672

3
Unidad 2: Lenguajes Independientes del Contexto

En esta unidad se abordarán los siguientes contenidos:

 Gramáticas y lenguajes libres de contexto.
 Autómatas de pila.

Para abordar los contenidos se requiere consultar los siguientes referentes bibliográficos:

 Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de
lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 119 - 127).
Recuperado de https://bibliotecavirtual.unad.edu.co/login?url=https://search-
ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lan
g=es&site=ehost-live&ebv=EB&ppid=pp_Cover
 Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes formales. Madrid etc.,
Spain: McGraw-Hill España. (pp. 117 - 150). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/50119

OVI - Unidad 2. Lenguajes Independientes del Contexto

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto. [Archivo
web]. Recuperado de http://hdl.handle.net/10596/18317

Unidad 3: Lenguajes Estructurados por Frases

En esta unidad se abordarán los siguientes contenidos:

 Máquinas de Turing y sus lenguajes.
 Viterbi.
 Trellis

Para abordar los contenidos se requiere consultar los siguientes referentes bibliográficos:

 Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de
lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 11 - 80).
Recuperado de https://bibliotecavirtual.unad.edu.co/login?url=https://search-
ebscohost-

4
 com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lan
g=es&site=ehost-live&ebv=EB&ppid=pp_Cover
 Rosenfeld, D. R. y Irazábal, J. (2013). Computabilidad, complejidad computacional y
verificación de programas. Argentina: D - Editorial de la Universidad Nacional de La
Plata. (pp. 7 - 40). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/66401

OVA - Unidad 3. Lenguajes Estructurados por Frases

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web].
Recuperado de http://hdl.handle.net/10596/18316

6. Organización de las actividades académicas por semanas y Plan de Evaluación

del curso
Momento inicial

Tarea 1: Fundamentación
Se desarrolla entre la semana 1 y la semana 2

Responde al resultado de aprendizaje 1: Diseñar distintos tipos de autómatas a partir de la

interpretación de alfabetos, cadenas, lenguajes y expresiones regulares.

Las actividades son: Realizar un reconocimiento de conceptos básicos de Autómatas y

lenguajes formales.

Evaluación del momento inicial

Los criterios con los que será evaluado son:

• Criterios de Participación:
Interactúa de forma oportuna, adecuada y responsable en el foro de discusión, según
lo solicitado en la guía de actividades de la tarea 1.
• Criterios de Contenido:
Identifica la historia de los autómatas y los lenguajes formales
Comprende la conceptualización de alfabeto, cadenas, lenguajes regulares, autómatas
finitos, expresiones regulares entre otras.

La valoración máxima de esta actividad es de 25 puntos, equivalente al 5% de la evaluación

del curso.
5
Momento intermedio

Tarea 2: Diseño de Autómatas

Se desarrolla entre la semana 3 y la semana 6

Responde al resultado de aprendizaje 1: Diseñar distintos tipos de autómatas a partir de la

interpretación de alfabetos, cadenas, lenguajes y expresiones regulares.

Las actividades son: Diseñar autómatas finitos deterministas o autómatas no deterministas,

teniendo en cuenta los alfabetos, las cadenas leídas, el lenguaje regular y su expresión regular
y realizar operaciones de conversión de autómatas.

Evaluación de la Tarea 2:
Los criterios con los que será evaluado son:

• Criterios de Contenido:
Diseña diferentes tipos de autómatas, evidenciando los alfabetos, las cadenas y su
lenguaje formal
Realiza diferentes operaciones de conversión, interpreta los lenguajes y expresiones
regulares
• Criterios de Procedimiento:
Desarrolla y explica paso a paso el ejercicio propuesto de expresión regular de un
autómata finito
Realiza ejercicio paso a paso de la conversión de un autómata

La valoración máxima de esta actividad es de 120 puntos.

Tarea 3: Construcción de Autómatas de Pila

Se desarrolla entre la semana 7 y la semana 10
Responde al resultado de aprendizaje 2 : Construir autómatas de pila y gramáticas
independientes de contexto mediante mecanismos de representación formal, teniendo en
cuenta la comprensión del tipo de problemas que cada uno puede resolver.

Las actividades son: Construir máquinas abstractas (Autómata de Pila) y gramáticas

regulares, teniendo en cuenta sus propiedades y características.

Evaluación de la Tarea 3:
Los criterios con los que será evaluado son:

6
 Criterios de Contenido:
Construye un autómata de pila.
Construye gramáticas regulares.
 Criterios de Procedimiento:
Desarrolla y explica paso a paso el ejercicio propuesto de autómata de pila
Desarrolla y explica paso a paso el ejercicio propuesto de minimización de autómatas
y realiza la gramática regular

La valoración máxima de esta actividad es de 115 puntos.

Tarea 4: Construcción de Máquinas de Turing

Se desarrolla entre la semana 11 y la semana 14
Responde al resultado de aprendizaje 3 : Construir máquinas de Turing para dar solución a
problemas computacionales en contextos reales.
Las actividades son: Construir máquinas abstractas (Maquinas de Turing), teniendo en
cuenta sus propiedades y características y crear los códigos convolucionales de Trellis y
Viterbi respectivamente.

Evaluación de la Tareas 4:
Los criterios con los que será evaluado son:

• Criterios de Contenido:
Construye máquinas de Turing.
Construye códigos convolucionales de Trellis y Viterbi
• Criterios de Procedimiento:
Desarrolla y explica paso a paso el ejercicio propuesto de máquina de turing
Realiza ejercicio paso a paso del procedimiento de Trellis
Realiza ejercicio paso a paso del procedimiento de Viterbi

La valoración máxima de esta actividad es de 115 puntos.

Momento final

Tarea 5: Consolidación del aprendizaje

Se desarrolla entre la semana 15 y la semana 16
Responde al resultado de aprendizaje 3: Construir máquinas de Turing para dar solución a
problemas computacionales en contextos reales.
Las actividades son: Realizar ejercicios sobre contenidos de las Unidades 1, 2 y 3

Evaluación de la Tarea 5:
Los criterios con los que será evaluado son:
7
• Participación: Interactúa de forma oportuna, adecuada y responsable en el foro de
discusión, según lo solicitado en la guía de actividades de la evaluación final.
• Criterios de Contenido:
Realiza las diferentes operaciones de conversión de los diferentes tipos de autómatas.
Construye autómatas de pila
Construye máquinas de Turing
• Criterios de Procedimiento:
Desarrolla y explica paso a paso el ejercicio propuesto de conversión de autómatas
Desarrolla y explica paso a paso el ejercicio propuesto de minimización de autómatas
Realiza ejercicio paso a paso del procedimiento de construcción de autómata de pila
Realiza ejercicio paso a paso del procedimiento de construcción de la máquina de
turing

Las evidencias de aprendizaje son:

• Publicación en el foro de discusión de los aportes académicos de los ejercicios

individuales seleccionados, según lineamientos de la actividad.
• Interacción en el foro de discusión con aportes individuales para la construcción de los
problemas grupales.
• Informe final grupal del proceso, presentado en el entorno de evaluación.

La valoración total de este momento es de 125 puntos, equivalente al 25% de la evaluación

del curso.

7. Estrategias de acompañamiento docente

Para desarrollar las actividades del curso usted contará con el acompañamiento del docente.
Los espacios en los cuales usted tendrá interacciones con su docente son los siguientes:

 Correo en campus virtual

 Foros en campus virtual
 Sesiones de chat en skype
 Sesiones de conferencia en línea o webconference