GUÍA DIDÁCTICA

AUTÓMATAS Y LENGUAJES FORMALES

Edgar Alberto Quiroga Rojas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGIA E INGENIERÍA
PROGRAMA INGENIERIA DE SISTEMAS
BOGOTÁ D.C., 2005
GUÍÍA DIDÁCTICA
Autor:
Edgar Alberto Quiroga Rojas
Ingeniero de Sistemas.
Especialista en:
Educación Superior a Distancia
Pedagogía para el desarrollo del aprendizaje autónomo.

COMITÉ DIRECTIVO

Jaime Alberto Leal Afanador

Rector

Gloria Herrera
Vicerrectora Académica y de Investigación

Roberto Salazar Ramos

Vicerrector de Medios y Mediaciones Pedagógicas

Gustavo Velásquez
Decano Escuela de Ciencias Básicas Tecnología e Ingeniería

Celia del Carmen López

Secretaria Académica Escuela de Ciencias Básicas Tecnología e Ingeniería

Alexandra Aparicio
Coordinadora Nacional Ingeniería de Sistemas.

CURSO AUTOMATAS Y LENGUAJES FORMALES

GUÍA DIDÁCTICA
Primera Edición

@Copy Right
Universidad Nacional Abierta y a Distancia

ISBN

2005
Centro Nacional de Medios para el aprendizaje
2008
Primera Actualización
 PROTOCOLO ACADÉMICO

1. IDENTIFICACIÓN DEL CURSO ACADÉMICO

FICHA TECNICA
Nombre del Curso: AUTÓMATAS Y LENGUAJES FORMALES
Palabras clave: Compiladores, analizadores, léxico, maquinas, gramáticas,
deterministicos, codificación, expresiones
Institución: Universidad Nacional Abierta y a Distancia – UNAD
Ciudad: Bogotá, D.C. – Colombia
Autor del Protocolo Edgar Alberto Quiroga Rojas
Académico:
Año: 2005
Unidad Académica: Facultad de Ciencias Básicas e Ingeniería
Campo de Formación: Formación Profesional Básica
Área del Conocimiento: Ingeniería de Sistemas
Créditos Académicos: Tres (3) correspondientes a 144 horas de trabajo
académico: 106 horas promedio de estudio
independiente y 38 horas promedio de
acompañamiento y seguimiento tutorial.
Tipo de curso: Teórico
Destinatarios: Estudiantes de pregrado de la Facultad de Ciencias Básicas
e Ingeniería del Programa de Ingeniería de Sistemas .
Competencia General comprender la forma en que funciona un autómata y la
de aprendizaje: correspondencia entre autómatas, analizar lenguajes y
gramáticas y la relación jerárquica entre ellos.
Metodología de Oferta: A distancia
Formato de circulación: Documentos impresos en papel con apoyo en Web; CD-
ROM, Disquetes
Denominación de las 1) Lenguajes regulares.
Unidades Didácticas: 2) Lenguajes independientes del contexto.
3) Lenguajes estructurados por frases.
 2. INTRODUCCIÓN
Autómatas y lenguajes formales es un curso de carácter teórico, que se inscribe en
el campo de formación profesional básico del Programa de Ingeniería de Sistemas
con un valor académico de tres créditos.

El estudiante en el desarrollo de este curso demuestra la asimilación de los

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 maquinas correspondientes para su reconocimiento (autómatas finitos,
autómatas a pila y maquinas 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
ingles 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. Se puede entonces
caracterizar un lenguaje mediante las reglas de una gramática adecuada.

Los temas sobre autómatas, computabilidad, e incluso la complejidad algorítmica

fueron incorporándose al currículo de ciencias de la computación de diferentes
universidades desde la década de los 60, esta incorporación puso de manifiesto que
las ciencias de la computación habían usado gran cantidad de ideas de muy
diferentes campos para su desarrollo, y que la investigación sobre aspectos básicos
podía cooperar y aumentar los avances de la computación.

En cuanto a la utilidad práctica de esta asignatura, las dos primeras Unidades

didácticas (lenguajes regulares y lenguajes independientes de contexto) 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 Didactica
(Lenguajes estructurados por frases incluidas las máquinas de Turing) son
fundamentales para el estudio de la computabilidad y complejidad de problemas.

Durante este curso, la metodología de trabajo buscará dinamizar la experiencia

individual y grupal así como el acompañamiento que el tutor realiza al estudiante
para potenciar el aprendizaje y la formación, que favorecerá la disposición a ser
partícipe en la solución de problemas.

El trabajo que se promueve en el estudiante es de dos tipos: individual y grupal. El

trabajo individual que es un estudio independiente y personal en donde las
actividades se realizan autónomamente como por ejemplo lecturas, desarrollo de
tareas, interacción con medios tecnológicos y tutoriales, al igual que la revisión de los
materiales que se presentan en el módulo y aula virtual. El trabajo grupal que se
refiere a las actividades en pequeños grupos colaborativos de aprendizaje para el
desarrollo de talleres y tareas relacionadas.

Mediante diversas actividades de aprendizaje que orientan el trabajo de los

estudiantes se pretende que se logren los objetivos, de la siguiente manera:

• Tutor-estudiante: a través del acompañamiento individual, foros, chat, correo

electrónico.
• Estudiante-estudiante: mediante la participación activa en los grupos
colaborativos de aprendizaje.
• Estudiantes-tutor: a través del acompañamiento a los pequeños grupos
colaborativos de aprendizaje, grupos de discusión, foros, chat, correo electrónico
• Tutor-estudiantes: mediante el acompañamiento en grupo de curso
• Estudiantes-estudiantes: en los procesos de socialización que se realizan en el
grupo de curso.

El sistema de evaluación del curso se realiza a través de la evaluación formativa,

que constituye distintas formas de comprobar el avance en el autoaprendizaje del
estudiante. En este sentido, se realizarán tres tipos de evaluación alternativas y
complementarias, estas son:

• Autoevaluación: evaluación que realiza el estudiante para valorar su propio

proceso de aprendizaje.
• Coevaluación: se realiza a través de los grupos colaborativos, y pretende la
socialización de los resultados del trabajo personal.
• Heteroevaluación: Es la valoración que realiza el tutor.

No olvidar que la evaluación tiene un examen nacional de 40% y regional de 60%

Para el desarrollo del curso es importante el papel que juega los recursos
tecnológicos como medio activo e interactivo, buscando la interlocución durante todo
el proceso de diálogo docente-estudiante.

• Los materiales impresos en papel, se han convertido en el principal soporte para

favorecer los procesos de aprendizaje autodirigido.
• Aula Virtual: propician el acercamiento al conocimiento, la interacción y la
producción de nuevas dinámicas educativas.
• Sistemas de interactividades sincrónicas: permite la comunicación a través de
encuentros presenciales directos o de encuentros mediados (chat, audio
conferencias, videoconferencias, tutorías telefónicas)
• Sistemas de interactividades diferidas: permite la comunicación en forma diferida
favoreciendo la disposición del tiempo del estudiante para su proceso de
aprendizaje, mediante la utilización de correo electrónico, foros, grupos de
discusión, entre otros.

El acceso a documentos adquiere una dimensión de suma importancia en tanto la

información sobre el tema exige conocimientos y planteamientos preliminares, por tal
razón es imprescindible el recurso a diversas fuentes documentales y el acceso a
diversos medios como son: bibliotecas electrónicas, hemerotecas digitales e
impresas, sitios Web especializados.

Por último y para alcanzar los objetivos planteados en este curso es importante que
usted como gestor de su propio proceso de aprendizaje considere los siguientes
puntos como rectores de sus tareas autónomas:

• Organización del tiempo.

• Organización del material.
• Desarrollo de actividades de autoaprendizaje.
• Desarrollo de tareas individuales y grupales.

Organización del tiempo: dedique por lo menos una hora diaria al estudio de este
curso. El éxito de este aprendizaje está fundamentado en la disciplina individual que
Ud. se proponga como hábito personal. No deje acumular su trabajo para la víspera
de la fecha de entrega de las tareas.

Organización del material y de estudio: planifique diariamente tanto el tiempo

como el material que va a utilizar y revisar en cada actividad. Intercambie sus puntos
de vista, materiales encontrados, opiniones de textos y autores con el propósito de
alimentar y enriquecer su producto final.

Desarrollo de actividades de autoaprendizaje: desarrolle ejercicios y actividades

de autoaprendizaje, incorpore a su estudio, otros contenidos que sean producto de
investigaciones bibliográficas y de Internet.

Desarrollo de tareas individuales y grupales: desarrolle a conciencia cada una de

las tareas individuales y grupales a distancia. La suma de estos trabajos integrarán
gran parte de su trabajo final.
 3. JUSTIFICACIÓN

En este curso se estudia la jerarquía de modelos de máquinas computacionales, de

gramáticas formales y de los lenguajes correspondientes. Es importante que el
alumno comprenda no solamente la forma en que funciona cada autómata, sino
sobre todo la correspondencia entre autómatas, lenguajes y gramáticas, y la relación
jerárquica entre ellos. Es una introducción a los tres tipos fundamentales de
mecanismos de definición de lenguajes (expresiones regulares, gramáticas
independientes del contexto y gramáticas generales), y a los tres tipos de maquinas
correspondientes para su reconocimiento (autómatas finitos, autómatas a pila y
maquinas de Turing) asi como las propiedades fundamentales de las familias de
lenguajes por ellos definidas, incluyendo el estudio de condiciones necesarias para
que un lenguaje sea de un tipo determinado.

El curso es principalmente teórico, jugando un papel secundario la implementación

de algoritmos. Al final del curso el alumno debe demostrar la asimilación de los
conceptos fundamentales mediante la resolución de problemas acerca de los
mismos, así como la realización de un reducido grupo de practicas en el computador.

En consecuencia este curso hace el estudio matemático de los modelos de

computación, a través de métodos abstractos de los elementos computacionales,
desarrollado a partir de tres disciplinas: matemáticas, ingeniería y lingüística

Las competencias que promueve el curso y que son necesarias son:

COGNITIVA : Capacidad de apropiarse de un conjunto de conocimientos a través del

desarrollo, monitoreo y aplicación de procesos de pensamiento.

COMUNICATIVA: Capacidad de comprender, expresar mensajes y de desarrollar

procesos argumentativos, apoyados por la asertividad en las relaciones
interpersonales.

CONTEXTUAL: Capacidad de ubicar el conocimiento en el contexto científico,

político, cultural, tecnológico, social y en el plano nacional e internacional, así como
la disposición y capacidad para aplicarlo en procesos de transformación que inciden
en la calidad de vida de la población.

VALORATIVA: Capacidad de apropiarse de valores como el respeto a la vida. La

dignidad humana, la convivencia, la solidaridad, la tolerancia y la libertad que
orientan las acciones del individuo como persona, como ser social y como
profesional.
Para el logro de éstas competencias, es necesario que se planifique de manera
responsable el proceso de autoestudio por parte del estudiante si se quieren lograr
resultados positivos en el aprendizaje de los conceptos incluidos en el curso, este
proceso se puede planificar de la siguiente manera:

• Autoestudio: Estudio individual del material sugerido y consulta de otras fuentes

(documentales, consulta en biblioteca, Internet, bibliografía recomendada,
consulta a bases de datos documentales, entre otros)
• Trabajo en grupo: Creación de grupos de estudio o discusión con el propósito de
preparar consultas estructuradas al tutor.
• Consultas al tutor: Consulta al tutor de las inquietudes surgidas en el punto
anterior.
• Retroalimentación: Una vez el tutor haya resuelto las inquietudes, estudie
nuevamente el tema, teniendo en cuenta las sugerencias o respuestas dadas por
el tutor.
• Procesos de evaluación: Una vez se haya realizado el proceso de
retroalimentación, desarrolle los diferentes momentos de evaluación propuestos
en el curso como son la autoevaluación, coevaluación y heteroevaluación.
 4. INTENCIONALIDADES FORMATIVAS
4.1 PROPÓSITOS

• Facilitar la apropiación de conocimientos para que el estudiante pueda 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.

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

4.2 OBJETIVOS

• Estudiar los conceptos fundamentales de la teoría de autómatas y lenguajes

formales, para la descripción de ellos.

• Conocer la correspondencia entre máquinas, gramáticas y lenguajes, los

problemas en los que las teorías tienen aplicación o que han motivado su
construcción.

4.3 COMPETENCIAS

• El estudiante conoce la jerarquía de modelos de máquinas computacionales y su

funcionamiento, así como de la jerarquía de las gramáticas formales y de los
lenguajes correspondientes.

• El estudiante conoce la correspondencia entre máquinas, gramáticas y lenguajes

para poder construir compiladores.

• El estudiante desarrolla la capacidad de abstracción y análisis teórico en relación

con la teoría de lenguajes para adquirir herramientas para algunas asignaturas de
la carrera.

4.4 METAS

Al terminar el curso el estudiante:

• Debe demostrar la asimilación de los conceptos fundamentales mediante la
resolución de problemas acerca de los mismos, así como la realización de un
reducido grupo de practicas en el ordenador.
• Desarrollará la capacidad de entender los problemas computacionales, y logrará
una comprensión acabada de ciertos tópicos de la ciencia de la computación; en
particular, en lo referente a modelos básicos de conmutabilidad y complejidad de
problemas.
 5. UNIDADES DIDACTICAS
A continuación se presenta el contenido del curso:

Primera Unidad Capítulos Temas

LENGUAJES Gramáticas Equivalencia de gramáticas
REGULARES regulares.. regulares.
Autómatas finitos Memorias Autómatas finitos deterministas.
Concepto de Autómatas finitos deterministas..
Equivalencia y Minimización de un AFD.
Autómatas finitos no deterministas.
Concepto de Autómatas finitos no
deterministas.
Teoremas de Equivalencia.
Expresiones Concepto de Expresión Regular.
regulares. Teoremas de Equivalencia.
Propiedades de Propiedades de cierre.
lenguajes Algoritmos de decisión.
Regulares. Identificación de lenguajes no regulares.
Segunda Unidad Capítulos Temas
LENGUAJES Gramáticas Conceptos generales.
INDEPENDIENTE independientes Simplificación de GIC.
S DEL del contexto. Formas normales.
CONTEXTO Autómatas a pila. Concepto de AP.
Equivalencia entre AP por estado final y AP
por vaciado de pila.
AP y lenguajes independientes del contexto.
Propiedades de Identificación de lenguajes independientes del
lenguajes contexto.
independientes Propiedades de cierre.
del contexto Algoritmos de decisión.
Tercera Unidad Capítulos Temas
LENGUAJES . Máquinas de Conceptos generales, Otras definiciones.
ESTRUCTURADO Turing. MT para reconocer lenguajes.
S POR FRASES MT para computar funciones.
Máquina de Tesis de Church/Turing.
Turing y Máquina de Turing Universal.
Computación. Funciones computables.
Decidibilidad.
Funciones Introducción
recursivas. Funciones recursivas primitivas
Funciones recursivas parciales
 6. CONTEXTO TEÓRICO
El estudiante de Ingeniería de Sistemas en su proceso de formación debe conocer la
importancia que tiene cada uno de los cursos que conforman el plan de estudios
para poder continuar desarrollando un aprendizaje acorde a las necesidades de
formación, por ello este curso se inscribe en el área de formación profesional básica,
“la Teoría de Autómatas es una de las teorías base de las denominadas Ciencias de
Computación y es considerada una asignatura de "Ciencia Básica" para los
estudiantes de informática en el mundo. Dicha teoría modela matemáticamente
máquinas simples con capacidades bien acotadas y entrega las bases para
determinar ciertos tipos de problemas que tienen solución, los que son bien
caracterizados, y entrega elementos teóricos para determinar cuando un problema
no tiene una solución algorítmica.”1

Mediante el desarrollo de las unidades didácticas se pretende en las dos primeras

Unidades didácticas (lenguajes regulares y lenguajes independientes de contexto)
resaltar la importancia de la utilidad que revisten estos temas 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 Didactica (Lenguajes estructurados por frases
incluidas las máquinas de Turing) son fundamentales para el estudio de la
computabilidad y complejidad de problemas.

El curso atiende a las siguientes problemáticas:

Problemáticas teóricas: El abordaje de nuevos conceptos de la teoría de autómatas y

lenguajes formales. Conocer la jerarquía de modelos de máquinas computacionales.
Comprender el funcionamiento y estructura de cada una de las máquinas
computacionales. Conocer la relación existente entre máquinas computacionales,
gramáticas y lenguajes.

Problemáticas metodológicas: El curso está constituido por un conjunto de

estrategias, técnicas y herramientas que posibilitan el desarrollo del curso y la
aprehensión de los conocimientos propios de la teoría de autómatas y lenguajes
formales.

1
Hans Iost. Apuntes del Curso IIS340: Teoría de Autómatas y Lenguajes Formales. Central de
Apuntes Facultad de Ingeniería, Ciencias y Administración, Universidad de La Frontera, Temuco,
Chile.
Problemáticas recontextuales: El curso está programado para que el estudiante
identifique, describa, distinga, relacione, compare, generalice, descubra, examine,
proponga, investigue, justifique y sustente la información aprendida.

Las competencias que promueve el curso y que son necesarias son:

Cognitiva : Capacidad de apropiarse de un conjunto de conocimientos a través del

desarrollo, monitoreo y aplicación de procesos de pensamiento.

Comunicativa: Capacidad de comprender, expresar mensajes y de desarrollar

procesos argumentativos, apoyados por la asertividad en las relaciones
interpersonales.

Contextual: Capacidad de ubicar el conocimiento en el contexto científico, político,

cultural, tecnológico, social y en el plano nacional e internacional, así como la
disposición y capacidad para aplicarlo en procesos de transformación que inciden en
la calidad de vida de la población.

Valorativa: Capacidad de apropiarse de valores como el respeto a la vida. La

dignidad humana, la convivencia, la solidaridad, la tolerancia y la libertad que
orientan las acciones del individuo como persona, como ser social y como
profesional.
 7. METODOLOGÍA
El proceso de aprendizaje que no es mas que el resultado de la interacción del
estudiante con el medio ambiente, es importante que se planifique de manera
responsable teniendo en cuenta las características de la metodología de educación a
distancia, por tal razón, este proceso se puede estructurar de la siguiente manera:

Fase de motivación y comprensión: corresponde a las actividades previas en las

cuales se identifican los propósitos del curso, sus intencionalidades y el desarrollo
del curso. Puede realizarse de manera individual a través del estudio del protocolo
del curso o con actividades grupales propuestas o dirigidas por el tutor.

Fase de ejecución: en la cual se llevan a cabo diferentes actividades para alcanzar

los propósitos de formación. Como son:

• Estudio Independiente: que corresponde al trabajo individual del estudiante que

tendrá que realizar el Trabajar el material sugerido por la institución para el
desarrollo del presente curso.
• Consulta de fuentes: como documentos impresos en papel libros, revistas;
documentos situados en Internet; paginas Web de información especializada,
bibliotecas y hemerotecas virtuales.
• Trabajo en grupo: Con la organización por parte de los estudiantes de pequeños
grupos colaborativos, para abordar los materiales en grupos de estudio o
discusión, y con le propósito de preparar consultas estructuradas al tutor.
• Interacción con el tutor: teniendo en cuenta que la labor del tutor es la del
acompañamiento de los procesos de aprendizaje de los estudiantes El estará
dispuesto a resolver las inquietudes y consultas utilizando estrategias de
asesoría como la tutoría presencial o a distancia y usando herramientas
tecnológicas en las diferentes etapas del curso.

Fase de evaluación: permiten identificar el nivel de logro alcanzado de cada una de

las unidades didácticas, establecer las dificultades en el aprendizaje y afianzar los
conocimientos adquiridos. Se tendrán las siguientes:

• Autoevaluación: Que la desarrolla el estudiante a través de ejercicios, talleres,

problemas, estudios de caso, lecturas autoreguladas e investigaciones de manera
individual.
• Coevaluación: La desarrolla a través de grupos y utilizando ensayos, análisis de
lecturas, reflexiones personales, mapas conceptuales para permitir la reflexión
conjunta sobre los productos elaborados y los aprendizajes logrados.
• Heteroevaluación: desarrollada por el tutor a través de exámenes, test y
evaluación de portafolios.
 8. SISTEMA DE EVALUACIÓN

El sistema de evaluación formativa, que constituye una herramienta para evidenciar

los procesos, interactividades y avances del estudiante y tutor en el desarrollo del
curso utilizará tres tipos de evaluación alternativas y complementarias, estas son:

La autoevaluación, la realiza el estudiante para valorar su propio proceso de

aprendizaje y se fundamenta en la responsabilidad y madurez de cada uno de los
participantes y en el grado de compromiso que tenga para con su preparación
intelectual.

La coevaluación, al igual que la autoevaluación dependerá del grado de madurez y

la responsabilidad de los integrantes del curso académico, y consistirá en la
evaluación de las diferentes actividades propuestas teniendo en cuenta el trabajo en
los grupos colaborativos, y pretende la socialización de los resultados del trabajo
personal.

La autoevaluación y coevaluación que se realizan en el desarrollo del curso

academico tendran una ponderación del 60%.

La heteroevaluación, Es la valoración que realiza el tutor y tiene como objetivo

examinar y calificar el desempeño competente del estudiante. Esta será diseñada
por el docente responsable del curso académico y aplicada por el tutor a través de
una evaluación nacional con un valor de 40%

FASES DE APRENDIZAJE PORCENTAJE

RECONOCIMIENTO 10%
PROFUNDIZACION 20%
TRANSFERENCIA 30%
PRUEBA NACIONAL 40%
TOTAL 100%
 9. GLOSARIO DE TÉRMINOS

GLOSARIO
Árboles Sintácticos Es un gráfico en forma de árbol que representa una
cadena que se deriva de una gramática libre de contexto.
Autómata Una máquina abstracta cuyos mecanismos de mando
fueron diseñados para seguir una sucesión
predeterminada de funcionamientos automáticamente o
responder a las instrucciones puestas en código. El
autómata que nosotros estudiamos se idealiza en
máquinas cuya conducta puede ser explicadas en
términos de algún sistema descriptivo formal donde
nosotros manipulamos símbolos en lugar del hardware.
Autómata de Pila Es un autómata que cuenta con un mecanismo que
permite un almacenamiento ilimitado y opera como una
pila.
Autómata Finito Consiste en un grupo de estados y un conjunto de
Determinístico transiciones de estado a estado, que se dan sobre
símbolos de entrada tomados de un alfabeto S . Para
cada símbolo de entrada existe exactamente una
transición a partir de cada estado. El estado qo, es el
estado inicial, en el que el autómata comienza. Algunos
estados están designados como final o de aceptación.
Autómata Finito No Es una modificación del autómata finito determinístico,
Determinístico que permite ninguna, una o más transiciones de un
estado a otro sobre el mismo símbolo de entrada.
Autómata Finito No Es un autómata finito determinístico pero con transiciones
determinístico con de un estado a otro que no depende de ninguna entrada,
movimiento e es decir, que no consumen ningún símbolo de la entrada.
Autómatas Lineales Es una máquina de Turing que en lugar de tener una cinta
infinita está restringida a una porción de cinta con
extremos acotados.
Expresión Regular Se utilizan para especificar un lenguaje regular.
Forma de Backus- Es la notación para las gramáticas libres de contexto con
Naur cambios menores en su formato y algunas abreviaturas.
Gramáticas Libres de Es un conjunto de variables (símbolos no terminales) cada
Contexto uno de los cuales representa un lenguaje. Los lenguajes
representados por las variables se describen de manera
 recursiva en términos de las mismas variables y de
símbolos primitivos llamados terminales. Las reglas que
relacionan a las variables se conocen como producciones.
Lema de Bombeo para Es una propiedad que tiene todo lenguaje libre de
Lenguajes Libres de contexto y facilita la forma de determinar si ciertos
Contexto lenguajes son libres de contexto.
Lema de Bombeo para Es una propiedad que tiene todo lenguaje regular y facilita
Lenguajes Regulares la forma de determinar si un lenguaje es regular.
Lenguajes Libres de Es el lenguaje generado por una gramática libre de
Contexto contexto.
Lenguajes Regulares Es el conjunto de los lenguajes regulares sobre el alfabeto
S está contiene Æ , los lenguajes unitarios incluido {e } y
todos los lenguajes obtenidos a partir de la
concatenación, unión y la cerradura de estrella.
Lenguajes Sensibles Estos lenguajes contienen a los lenguajes libres de
al Contexto contexto
Los Lenguajes Estos lenguajes contienen a los lenguajes sensibles de
Recursivos contexto.
Máquina de Turing Es una cinta que contiene una colección de celdas de
almacenamiento que se extiende infinitamente en ambas
direcciones. Cada celda es capaz de almacenar un único
símbolo. Además, tendrá, asociada con la cinta, una
cabeza de lectura/escritura que puede moverse hacia la
izquierda o a la derecha sobre cada una de las celdas de
la cinta y por cada movimiento leerá o escribirá un
símbolo.
Procesador de Listas Lenguaje no estructurado que se desarrolla para aplicarlo
en la investigación en inteligencia artificial. Permite el
manejo eficiente de listas de todo tipo, lo que lo hace muy
adecuado para manejo y dosificación de bases de
comunicación.
Programación Lógica Lenguaje no estructurado que se desarrolló para aplicarlo
en la investigación en inteligencia artificial. Su
especialidad es la representación simbólica de objetos.
 10. FUENTES DOCUMENTALES
BIBLIOGRAFIA

APELLIDOS Y AÑO TITULO CIUDAD EDITORIAL PAGINAS

NOMBRES
M. Alfonseca, J. 1990. Teoría de España Ediciones
Sancho, M. Lenguajes, Universidad y
Martínez Orga Gramáticas y Cultura,
Autómatas
Pedro Isasi, Paola 1997. Lenguajes, España 2ª edición,
Martínez, Daniel. gramáticas y Addison-Wesley
Borrajo autómatas Un
enfoque
práctico
J.E. Hopcroft, R. 2002 Introducción a España 2ª edición,
Motwani, J.D. la Teoría de Addison-Wesley
Ullman Autómatas, iberoamericana
Lenguajes y
Computación,.
Dean Kelley 1995 Teoría de Prentice-Hall
autómatas y
lenguajes
formales

SITIOS WEB

• Página web de la asignatura universidad rey Juan carlos:

http://www.ia.escet.urjc.es/grupo/docencia/automatas
• Foro: http://www.ia.escet.urjc.es/foros/automatas
• http://luisguillermo.com/castellano/default.htm#supra
• http://www.ing.puc.cl/˜jabaier/iic2222

• aula virtual http://www.upseros.com/

 GUÍA DE ACTIVIDADES
Esta guía le permite al estudiante apropiarse de estrategias, herramientas, técnicas y
procedimientos para el desarrollo de sus procesos de aprendizaje.

Retoma la tecnología que ofrece Internet al utilizar herramientas de comunicación

para lograr la interacción y diálogo entre los participantes, con el propósito de que los
estudiantes compartan sus experiencias e inquietudes y profundicen en cada uno de
los temas abordados al interior del curso.

Incorpora la orientación del tutor como un asesor que acompañará a los

participantes en el desarrollo del proceso de enseñanza-aprendizaje.

Centra sus acciones en el aprendizaje del estudiante, pues es alrededor de él que

giran las estrategias pedagógicas que facilitan el proceso de adquisición de los
diversos contenidos, el establecimiento de metas y objetivos personales, así como el
aprovechamiento de todos los recursos didácticos que se ponen a su alcance.

Al ofrecer esta guía, pretendemos que junto con ella y el acompañamiento del Tutor,
además de la metodología de trabajo, se asuman una serie de acciones y
responsabilidades que ayudarán en la adquisición de aprendizajes y la acreditación
del curso.

Antes de empezar el recorrido de la guía es importante señalar que como estudiante

a distancia, debe contar o desarrollar las siguientes características personales:

• Capacidad para autorregular su proceso de aprendizaje

• Habilidad para manipular de forma efectiva los medios y recursos tecnológicos
para el aprendizaje a distancia.
• Demostrar una alta motivación interna para el estudio independiente.
• Trabajar activamente en equipo.
• Aplicar su experiencia al conjunto de nuevos aprendizajes.
• Demostrar capacidad para organizar tiempos, recursos y ritmos de
aprendizaje.
• Poseer la facilidad para adaptarse a nuevos ambientes de aprendizaje.
• Lograr el control personal de sus procesos y resultados.
• Contar con objetivos y metas definidos.

Lo invitamos a identificar el nivel de autonomía y desarrollo de cada una de estas

particularidades, a fin de conjugarlas para cumplir los objetivos de aprendizaje.

Consulte regularmente este material, y recuerde que el Tutor es un compañero de su

aprendizaje que estará siempre dispuesto a apoyarlo y motivarlo.
 CRONOGRAMA GENERAL DEL CURSO (Agenda de Actividades)

Fase de Reconocimiento General del Curso

Esta fase de aprendizaje pretende que el estudiante inicie su proceso de aprendizaje

del curso, aprovechando sus conocimientos previos, sus expectativas e intereses,
con el fin de llegar al aprendizaje significativo. En primer lugar se desarrollará una
actividad individual sobre las temáticas que conforman el contenido del curso y en
segundo lugar una actividad dividida en dos partes: la primera es un foro en donde
los estudiantes comparten y debaten en pequeños grupos cada una de las ideas
sobre la estructura del curso además que se familiaricen con las temáticas
planteadas, la segunda parte del reconocimiento del curso es una tarea que la
podrán realizar si han revisado los contenidos planteados en cada unidad.

Actividad 1. Revisión de Presaberes

Esta actividad consiste en la aplicación de una evaluación que esta conformada por
una serie de preguntas sobre los conocimientos previos y sobre la temática general
del curso. La aplicación y revisión de la prueba será realizada por el tutor del curso
en cada cead al igual que la realimentación de la misma. Para los estudiantes que se
encuentran en campus virtual deben presentarla en la fecha establecida en la
agenda académica del curso. Esta actividad es de carácter individual.
Actividad 201. Reconocimiento del curso- Grupos colaborativos

La actividad 2, tiene como objetivos:

♦ Conocer a cada uno de los participantes del curso estudiantes y tutor.

♦ Reconocer la estructura y los componentes del curso.
♦ Conocer el protocolo del curso.
♦ Propiciar una interacción entre los integrantes del pequeño grupo.

2.2.3 Actividad 202. Reconocimiento del curso- Tarea

Para el desarrollo de esta actividad es necesario tener en cuenta el producto

obtenido de la actividad 201.

Guía para el desarrollo de la tarea

Temáticas Revisadas:
Reconocimiento de la estructura y componentes del curso

Guía de actividades:
Este trabajo Individual consta de tres actividades, con una sola entrega en un trabajo
final.

Actividades
1. Hacer un paseo por cada una de las actividades propuestas en el curso.
2. En forma individual debe realizar un mapa conceptual sobre la estructura
propuesta para el curso.
3. Recuerde que un mapa conceptual refleja la claridad que se tenga sobre los
contenidos. Puede elaborarlo utilizando: Word, PowerPoint, Excel, Visio o
cualquier otro software para la realización del ejercicio.

Producto esperado
La tarea con el mapa conceptual debe contener una portada, el mapa conceptual
y referencias bibliográficas y debe entregarse al tutor para su respectiva
calificación.

Fecha de entrega:
Esta debe ser fijada por el tutor del curso en cada cead
 Rubrica de Evaluación

Item Valoración Baja Valoración Media Valoración Alta Máximo

El archivo no tiene el El archivo a pesar que El archivo está nombrado
nombre correcto. tiene el nombre correcto correctamente.
2
(Puntos = 0) no esta completo (Puntos = 2)
(Puntos = 1)
Estructura
del informe El archivo no contiene los Aunque el documento El archivo contiene los
elementos solicitados en la tiene los elementos elementos solicitados
tarea. (Puntos = 0) solicitados, su contenido correctamente. 2
no es el especificado. (Puntos = 2)
(Puntos = 1)
Estructura Los conceptos Los conceptos Los conceptos 2
del mapa seleccionados no seleccionados seleccionados representan
conceptual representan parte del representan gran el contenido de lo que leyó
contenido de lo que leyó parte del (Puntos = 2)
(Puntos = 0) contenido de lo que leyó
(Puntos = 1)
Los conceptos Los conceptos Los conceptos
seleccionados no son seleccionados lo seleccionados le
pertinentes para el aproximan al permitieron lograr la 2
producto solicitado conocimiento apropiación del tema
(Puntos = 0) (Puntos = 1) (Puntos = 2)
La relación de los Algunos de los Cada relación de
conceptos no tienen un conceptos tienen el conceptos tiene un término
término de enlace enlace adecuado de enlace adecuado 2
adecuado (Puntos = 0) (Puntos = 1) (Puntos = 2)

El documento no da Aunque se entrega un Se cumplió con los

respuesta a los documento, este no objetivos del trabajo de
Fines del
lineamientos de la actividad soluciona de manera manera satisfactoria. 4
trabajo
propuesta. adecuada la situación (Puntos = 4)
(Puntos = 0) planteada. (Puntos = 2)
Se maneja de manera Aunque presenta El manejo de citas y
inadecuada el uso de citas referencias, estas no se referencias es satisfactorio
Referencias y referencias (Puntos = 0) articulan (Puntos = 2)
adecuadamente con el 2
bibliográficas
trabajo (Puntos = 1)

TOTAL DE PUNTOS POSIBLES 16

TRABAJO COLABORATIVO DEL CURSO

METODOLOGÍA: Las sesiones son desarrolladas en forma teórica y práctica si se

desea, dentro de un laboratorio con equipos operativos. La estrategia de aprendizaje
a utilizar en las unidades del curso será el Aprendizaje colaborativo.

Porque aprendizaje colaborativo?

El desarrollo de las actividades de aprendizaje está basado en el aprendizaje

colaborativo como una estrategia de aprendizaje y de trabajo de grupo que es usado
en los cursos que se ofertan en el la Unad, se requieren estas características para
realizar un trabajo realmente efectivo.

Participación: el potencial de un grupo de aprendizaje se maximiza cuando todos

los estudiantes participan activamente en las discusiones.
Crecimiento Social: permite establecer y mantener una comprensión compartida de
significados.
Habilidades Conversacionales: la calidad de la comunicación en grupos de
discusión influencia la experiencia de aprendizaje y los logros de los miembros del
grupo.
Procesamiento Grupal y Análisis de Rendimiento: existe procesamiento grupal
cuando el grupo discute sus progresos y decide si continúa con su comportamiento o
lo cambia. Para ello los estudiantes deben evaluar individual y colectivamente sus
rendimientos.
Formación de los grupos colaborativos.
Los Grupos están conformados por 5 estudiantes que el tutor en el momento del
ingreso al curso académico los selecciona, es de anotar que este grupo está definido
para desarrollar todo el curso académico y no es factible el cambio de grupo, este
proceso fomenta deliberadamente la diversidad mezclando los estudiantes con
diferente nivel, sexo, origen, estilo de aprendizaje, etc. Aunque esta distribución no
toma en cuenta la opinión de cada estudiante si pretende que se conserve dentro del
equipo la pluralidad para potenciar la calidad, la cantidad y la velocidad de
aprendizaje.
Organización los Grupos colaborativos.
Los equipos luego de la distribución aleatoria que hace el tutor deben organizarse en
este pequeño grupo obviamente con el compromiso de trabajar y de desempeñar
algunos roles o funciones básicas, que son indispensables para el desarrollo de la
actividad.
Una distribución de funciones básicas que se propone y debe ser definida una vez se
hayan “conocido” los integrantes del grupo, es la siguiente (coordinador, relator,
animador, técnico y supervisor) aunque los estudiantes pueden crear las funciones
que consideren más adecuadas. En cada unidad de aprendizaje del curso los
estudiantes deben elegir un coordinador del equipo que, a su vez, distribuye el resto
de funciones entre sus compañeros. Cuando comienza una nueva unidad deben
volver a elegir un coordinador pero de tal forma que nadie repita un cargo hasta que
todos han pasado ya por ese cargo. La idea es que todos aprendan a ser
responsables de todas las funciones esenciales dentro de un equipo, que todos vivan
la experiencia de esa responsabilidad.
¿Cómo se logra pertenencia con el grupo colaborativo?
Lo importante en la conformación del equipo es el hecho de que se sientan parte del
equipo en el cual van a trabajar durante todo el semestre, para ello cada grupo
deberá ponerse de acuerdo para desarrollar una primera actividad grupal, se sugiere
que el tutor solicite esta actividad, deberán elaborar una presentación multimedia que
debe contener un acta de conformación del grupo, un nombre para el equipo, un logo
distintivo del grupo y la redacción de texto en donde el equipo se presenta a sus
compañeros explicando sus puntos fuertes y débiles.
¿Cómo organizar su trabajo?
Para la organización del trabajo a desarrollar el proceso es el siguiente:
Planificación: Se deben repartir las funciones entre los componentes del grupo
colaborativo y planificar el trabajo. Para ello elaboraran un "Plan de Acción" que es
un documento en un procesador de palabras en donde mostrarán el organigrama del
equipo, la organización del tema en donde se escriba que saben sobre el tema, que
desean aprender y cómo van a buscar la información (Desarrollo de la practica en el
Cead, Bibliotecas, en la Red, haciendo entrevistas a especialistas, etc.), el diagrama
de flujo del proyecto y el calendario de actividades. Este Documento debe ser
también entregado al tutor del curso para compartirlo con el grupo y con el tutor..

Actividades Unidad 1: lenguajes Regulares

Temáticas revisadas:

Primera Capítulos Temas

Unidad
LENGUAJES Conceptos Básicos. Introducción
REGULARES Introducción Histórica
Diferentes Modelos de Computación
Autómatas y lenguajes
Lenguajes regulares
Autómata
Autómatas finitos Definición
Autómatas finitos Determinísticos.
Autómatas finitos no Determinísticos.
Autómatas finitos con λ Transacciones.
Lenguajes aceptados.

Expresiones regulares. Significado de Expresión Regular.

Autómatas finitos y Expresiones, Teoremas
de Equivalencia.
Propiedades de lenguajes AFN para la unión y concatenación.
Regulares. Equivalencia de autómatas.
INTRODUCCION

Los lenguajes pueden describirse como elementos que se generan, como cadenas a
partir de cadenas sencillas, con el uso de operaciones de cadenas o el desarrollo del
lenguaje mismo, que se puede generar con otros lenguajes más sencillos mediante
operaciones de conjuntos.

Los Lenguajes más sencillos son los considerados lenguajes regulares, es decir, los
que se pueden generar a partir de lenguajes de un elemento con la aplicación de
ciertas operaciones estándar realizadas un número finito de veces.

Estos son pues los lenguajes que pueden reconocer los dispositivos llamados
Autómatas finitos (AF) que son máquinas de cómputo con memoria muy restringida.
En esta unidad se considera como segundo aspecto la idea de que un lenguaje no
sea regular, además de proporcionar un modelo sencillo de computación que se
puede generalizar en las unidades siguientes.

Con las caracterizaciones anteriores y otras de los lenguajes regulares se obtienen y

estudian algoritmos para traducir una descripción de un lenguaje a otra descripción
de un tipo distinto; se acumula experiencia en el uso de métodos formales para
describir lenguajes y se intenta responder a preguntas acerca de ellos, son
preguntas y ejercicios sencillos con sus respuestas y que permiten determinar la
utilidad de los lenguajes regulares en aplicaciones del mundo real.

OBJETIVO GENERAL

Reconocer los lenguajes regulares, autómatas finitos y su aplicación.

OBJETIVOS ESPECIFICOS

Estudiar la aplicación de los lenguajes regulares y los autómatas finitos.

Adquirir las habilidades necesarias para desarrollar autómatas y máquinas que

reconozcan lenguajes o computen funciones.

Distinguir los diferentes tipos de lenguajes formales existentes.

METODOLOGÍA: Las sesiones son desarrolladas en forma teórica, La estrategia de

aprendizaje a utilizar será el Aprendizaje colaborativo.

EL trabajo colaborativo de la práctica tiene una duración de 5 semanas y como fecha

límite para la terminación de los procesos en esta primera unidad se tiene previsto el
31 de Marzo de 2008 fechas en las cuales se entregará el producto grupal.

Porque aprendizaje colaborativo?

El desarrollo de las actividades de aprendizaje está basado en el aprendizaje
colaborativo como una estrategia de aprendizaje y de trabajo de grupo que es usado
en los cursos que se ofertan en el campus virtual de la Unad, se requieren estas
características para realizar un trabajo realmente efectivo.

Participación: el potencial de un grupo de aprendizaje se maximiza cuando todos

los estudiantes participan activamente en las discusiones.
Crecimiento Social: permite establecer y mantener una comprensión compartida de
significados.
Habilidades Conversacionales: la calidad de la comunicación en grupos de
discusión influencia la experiencia de aprendizaje y los logros de los miembros del
grupo.
Procesamiento Grupal y Análisis de Rendimiento: existe procesamiento grupal
cuando el grupo discute sus progresos y decide si continúa con su comportamiento o
lo cambia. Para ello los estudiantes deben evaluar individual y colectivamente sus
rendimientos.
Formación de los grupos colaborativos.
Los Grupos están conformados por 5 estudiantes que el sistema en el momento del
ingreso al curso académico los selecciona, es de anotar que este grupo está definido
para desarrollar todo el curso académico y no es factible el cambio de grupo, este
proceso fomenta deliberadamente la diversidad mezclando los estudiantes con
diferente nivel, sexo, origen, estilo de aprendizaje, etc. Aunque esta distribución no
toma en cuenta la opinión de cada estudiante si pretende que se conserve dentro del
equipo la pluralidad para potenciar la calidad, la cantidad y la velocidad de
aprendizaje.
Organización los Grupos colaborativos.
Los equipos luego de la distribución aleatoria que hace el sistema deben organizarse
en este pequeño grupo obviamente con el compromiso de trabajar y de desempeñar
algunos roles o funciones básicas, que son indispensables para el desarrollo de la
actividad.
Una distribución de funciones básicas que se propone y debe ser definida una vez se
hayan “conocido” los integrantes del grupo, es la siguiente (coordinador, relator,
animador, técnico y supervisor) aunque los estudiantes pueden crear las funciones
que consideren más adecuadas. En cada unidad de aprendizaje del curso los
estudiantes deben elegir un coordinador del equipo que, a su vez, distribuye el resto
de funciones entre sus compañeros. Cuando comienza una nueva unidad deben
volver a elegir un coordinador pero de tal forma que nadie repita un cargo hasta que
todos han pasado ya por ese cargo. La idea es que todos aprendan a ser
responsables de todas las funciones esenciales dentro de un equipo, que todos vivan
la experiencia de esa responsabilidad.
¿Cómo se logra pertenencia con el grupo colaborativo?
Lo importante en la conformación del equipo es el hecho de que se sientan parte del
equipo en el cual van a trabajar durante todo el semestre, para ello cada grupo
deberá ponerse de acuerdo para desarrollar una primera actividad grupal, que está
planteada en el foro general del curso, deberán elaborar una presentación
multimedia que debe contener un acta de conformación del grupo, un nombre para el
equipo, un logo distintivo del grupo y la redacción de texto en donde el equipo se
presenta a sus compañeros explicando sus puntos fuertes y débiles.
¿Cómo organizar su trabajo?
En este punto cobra relevancia e importancia el uso del wiki como elemento para
compartir toda la información del grupo y registrar los aportes de cada uno de los
integrantes del grupo, si es decisión del grupo no usar el wiki, pueden realizar sus
aporte por el foro colaborativo de cada práctica en los temas de trabajo individual y
trabajo grupal.
Para la organización del trabajo a desarrollar el proceso es el siguiente:
Planificación: Se deben repartir las funciones entre los componentes del grupo
colaborativo y planificar el trabajo. Para ello elaboraran un "Plan de Acción" que es
un documento en un procesador de palabras en donde mostrarán el organigrama del
equipo, la organización del tema en donde se escriba que saben sobre el tema, que
desean aprender y cómo van a buscar la información (Desarrollo de la practica en el
Cead, Bibliotecas, en la Red, haciendo entrevistas a especialistas, etc.), el diagrama
de flujo del proyecto y el calendario de actividades. Este Documento debe ser
enviado al foro de trabajo colaborativo para compartirlo con el grupo y con el tutor en
el TEMA de producción del grupo.
Elaboración del trabajo: Con la información individual y grupal recogida en las
bibliotecas, en la Red, haciendo entrevistas a especialistas etc. deberán elaborar un
informe que recoja lo esencial que han aprendido: el trabajo final. Para ello
negociarán y construirán entre todo el grupo los contenidos de la práctica, se deja la
decisión al grupo para que seleccione la técnica más adecuada para compartir la
producción de cada uno, se sugiere elaboren mapas de ideas o un mapa conceptual
del tema a partir de la información elaborada individualmente.
El producto es un documento que debe cubrir todos los puntos de la rubrica de
evaluación y debe se elaborado en un procesador de palabras (openoffice write o
Microsoft Word.) Sin embargo se puede optar por entregar otra versión o formato de
este producto como puede ser flash, videos presentación power point, openoffice
Impress u otros formatos.

Formato de presentación del Documento: El documento debe contener los

siguientes puntos (se da cierta flexibilidad en el título de estos puntos):
Datos de los Estudiantes (nombre, número de matrícula, e-mail, Zona, Cead)
Datos del tutor.
Descripción general del trabajo.

Valoración personal, evidencias (fotografías, videos (opcional), animaciones,

presentaciones etc.)

1.- Obtener el lenguaje reconocido por el siguiente AFD:

A = ({a, b, c}, {q0, q1, q2, q3, q4}, f, q0, {q2})

f(q0, a) = q1 f(q0, b) = q4 f(q0, c) = q4

f(q1, a) = q4 f(q1, b) = q1 f(q1, c) = q2
f(q2, a) = q4 f(q2, b) = q4 f(q2, c) = q2
f(q3, a) = q4 f(q3, b) = q3 f(q3, c) = q2
f(q4, a) = q4 f(q4, b) = q4 f(q4, c) = q4

2.- Determinar el lenguaje que reconoce el siguiente AFD:

3.-Dado el autómata finito siguiente:

Definir la gramática lineal izquierda que describe el mismo lenguaje reconocido

por el autómata.

4.-Decir cuáles de las siguientes palabras son reconocidas por el siguiente

AFND: 110, 01, 100
AFND = ({0, 1}, {q0, q1, q2}, q0, {q1})

f(q0, 0) = ∅ f(q0, 1) = {q1, q2} f(q0, λ) = ∅

f(q1, 0) = {q0} f(q1, 1) = {q0, q1} f(q1, λ) = {q0}
f(q2, 0) = {q2} f(q2, 1) = ∅ f(q2, λ) = {q1}

5.- Determinar la pertenencia de las cadenas: aab, aba y ba, al lenguaje

reconocido por el siguiente AFND:

A = ({a,b}, {q1,q2,q3,q4}, f, q1, {q1}, {(q2,q4), (q3,q4), (q4,q3)})

f(q1,a) = {q2} f(q1,b) = ∅

f(q2,a) = {q1,q3,q4} f(q2,b) = {q1,q3}
f(q3,a) = ∅ f(q3,b) = {q1,q4}
f(q4,a) = ∅ f(q4,b) = {q3}

MINIMIZACIÓN DE AUTÓMATAS FINITOS

6.-Obtener para cada uno de los siguientes autómatas finitos su autómata

mínimo Equivalente:

7.- Dada la gramática lineal derecha: G = (T, N, S, P) T = {0, 1} .

N = {S, A} P = { S::= 1A | 1S, A::= 0A | 1A | 1 }

Encontrar el autómata finito determinista (AFD) mínimo asociado.

8.-Dado el autómata finito:

(a) Construir el AFD mínimo equivalente

(b) Deducir el lenguaje que reconoce
9.- Encontrar el autómata mínimo equivalente al siguiente AFD:

10.- Construir el autómata finito determinista mínimo equivalente al siguiente:

11.- Encontrar el AFD mínimo equivalente al siguiente AFND:

EVALUACIÓN: Se diligenciarán los cuadros de autoevaluación y coevaluación

que se encuentran anexos a esta guía La calificación tendrá un peso de 50 puntos
de 500 posibles, que se obtienen luego de enviar el documento al foro.
UNIDAD DIDÁCTICA 2 LENGUAJES INDEPENDIENTES DEL CONTEXTO

Temáticas revisadas:

Segunda Unidad Capítulos Temas

LENGUAJES Gramáticas Conceptos generales, Árboles de
INDEPENDIENTES independientes derivación y ambigüedad, Formas
DEL CONTEXTO del contexto. canónicas. Formas normales.
Autómatas a Concepto de AP y funcionamiento.
pila. Diseño de AP, Combinación Modular
de AP, AP y Lenguajes Libres de
contexto.
Propiedades Identificación de lenguajes
de lenguajes independientes del contexto.
independientes Propiedades de cierre. Algoritmos de
del contexto decisión.

Introducción

Los lenguajes independientes del contexto que también se conocen con el nombre
de gramáticas de contexto libre son un método recursivo sencillo de especificación
de reglas gramaticales con las que se pueden generar cadenas de un lenguaje.

Es factible producir de esta manera todos los lenguajes regulares, además de que
existen ejemplos sencillos de gramáticas de contexto libre que generan lenguajes no
regulares.

Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y
refinamientos mayores que los realizados con lenguajes regulares, en gran medida
sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes
formales.

Objetivo General

Conocer los modelos de computación que corresponden a los lenguajes

independientes del contexto y su aplicación.

Objetivos Especificos

Generalizar los conceptos de autómatas finitos y gramaticas regulares.

Reconocer el potencial de procesamiento del lenguaje del automata con los

autómatas de pila.
El producto es un documento que debe cubrir todos los puntos de la rubrica de
evaluación y debe se elaborado en un procesador de palabras (openoffice write o
Microsoft Word.) Sin embargo se puede optar por entregar otra versión o formato de
este producto como puede ser flash, videos presentación power point, openoffice
Impress u otros formatos.

Formato de presentación del Documento: El documento debe contener los

siguientes puntos (se da cierta flexibilidad en el título de estos puntos):

Datos de los Estudiantes (nombre, número de matrícula, e-mail, Zona, Cead)

Datos del tutor.

Descripción general del trabajo.

Valoración personal, evidencias (fotografías, videos (opcional), animaciones,

presentaciones etc.)

Ejercicios Propuestos:

1.- Dado el siguiente autómata con pila, indicar:

(a) Qué lenguaje reconoce

(b) Cuáles de las siguientes palabras son aceptadas por el autómata:
aabbc, abbc, bbcc, aabbbcc (mostrando la sucesión de descripciones instantaneas)

AP = ({a, b, c}, {A, B, S}, {q, r, s, t}, q, S, f, Ø)

f(q, a, S) = {(r, S)} f(s, b, S) = {(s, BS)}

f(q, a, A) = {(r, A)}
f(q, b, S) = {(s, BS)}
f(q, b, A) = {(s, λ)}
f(r, a, S) = {(q, AS)}
f(r, a, A) = {(q, AA)}
f(s, b, A) = {(s, λ)}
f(s, b, B) = {(s, BB)}
f(s, c, B) = {(t, λ)}
f(t, c, B) = {(t, λ)}
f(t, λ, S) = {(t, λ)}

2.- Definir formalmente el lenguaje reconocido por el siguiente autómata con pila:
A = ({a,b,c}, {S,A,B}, {q,r,s,p}, q, S, f, ∅)

f(q, a, S) = {(r, S)} f(s, b, S) = {(s, BS)}

f(q, b, S) = {(s, BS)}
f(q, a, A) = {(r, A)}
f(q, b, A) = {(s, λ)}
f(r, a, S) = {(q, AS)}
f(r, a, A) = {(q, AA)}
f(s, b, A) = {(s, λ)}
f(s, b, B) = {(s, BB)}
f(s, c, B) = {(p, λ)}
f(p, c, B) = {(p, λ)}
f(p, λ, S) = {(p, λ)}
3.- Dado el siguiente autómata con pila indicar:

(a) Qué lenguaje reconoce por vaciado de pila.

(b) Cuáles de las siguientes palabras son aceptadas por el AP: abba, abaaba.

AP = ({a,b}, {Z}, {q0, q1, q2, q3}, q0, Z, f, ∅)

f(q0, a, Z) = {(q1, aZ)} f(q2, b, b) = {(q2, λ)}
f(q0, b, Z) = {(q1, bZ)} f(q2, a, a) = {(q2, λ)}
f(q1, a, a) = {(q1, aa), (q2, λ)} f(q2, λ, Z) = {(q2, λ)}
f(q1, a, b) = {(q1, ab)}
f(q1, b, a) = {(q1, ba)}
f(q1, b, b) = {(q1, bb), (q2, λ)}

CONSTRUCCIÓN DE AUTÓMATAS

4.- Construir un autómata con pila que reconozca cada uno de los siguientes
lenguajes:
(a) L = { anb2n/ n > 0 }
(b) L = { anbmcn/ n, m > 0 }
(c) L = { x / x ∈ {0,1}+ & nº 0´s = nº 1´s }
(d) L = { aibjci+j / i, j > 0 }
(e) L = { a2ib3i / i >= 0 }
(f) L = { anbmc2man+2, m > 0, n >= 0 }
(g) L = { xcy / x,y ∈ {a, b}+, nº de subcadenas “ab” en x = nº de subcadenas “ba”
en y }
(h) L = { 0n1n / n > 0 } ∪ { 0n12n / n > 0 }
(i) L = {anbmcrasbn/ s = m + r, m,n > 0, r ≥ 0}
(j) L = {a2nbm0ib2man, i = 0 ó 1, m, n > 0}
(k) L = {x1n2mx-1 / n, m = 0 ó 1 y x ∈ {a, b}+}
(l) L = {anbmcp / n,m >= 0, p > n + m}

5.- Construir un autómata con pila que reconozca por vaciado de pila el lenguaje que
contiene las palabras formadas por los símbolos “0”, “1” y “2” que tienen tantas
apariciones de las secuencia “01” como del símbolo “2”.

6.- Construir un autómata con pila que reconozca por vaciado de pila las palabras
formadas por los símbolos “a” y “b” que tengan doble número de símbolos “a” que de
símbolos “b” (incluyendo λ). Es decir, el autómata deberá reconocer por ejemplo las
palabras aabbaa, abbaaa, bababaaaa, bbbaaaaaa, y no debe reconocer palabras
como abab, abbabab, a, b, aaa, bbb.

7.- Construir un autómata con pila que reconozca, por vaciado de pila, el lenguaje
formado por las cadenas que contienen símbolos de abrir y cerrar paréntesis, es
decir “(“ y “)”, que cumple las siguientes condiciones:
- todo paréntesis que se abre debe ser cerrado posteriormente
- todo paréntesis que se cierra debe haber sido abierto anteriormente
- se permiten los paréntesis anidados.
Ténganse en cuenta los siguientes ejemplos de cadenas reconocidas y no
reconocidas por el autómata:
Cadenas reconocidas Cadenas no reconocidas
()()((()())()) ()())
((()))() )()(
((())(()))()()(()()) (((()

8.- Dado el siguiente lenguaje: L = { anbcmdmen / n, m > 0 }

(a)Construir un autómata con pila que reconozca dicho lenguaje por vaciado de pila.
(b)Comprobar mediante el uso de descripciones instantáneas que la cadena
“aabccddee” es aceptada por dicho autómata.

9.- Construir un autómata con pila que reconozca por vaciado de pila el lenguaje
siguiente:

L = { 0n1n / n > 0 } ∪ { 0n12n / n > 0 }

10.- Dado el siguiente lenguaje:

L= {anbmdm / n, m > 0} ∪{anbmcmdn / n, m > 0}
(a) Encontrar un autómata con pila que reconozca L por vaciado de pila.
(b) Comprobar mediante el uso de descripciones instantáneas que la cadena
“aacd” es aceptada por dicho autómata.

Unidad didáctica 3 lenguajes estructurados por frases

Tercera Unidad Capítulos Temas

LENGUAJES Máquinas de Conceptos generales, Otras
ESTRUCTURADOS Turing. definiciones.
POR FRASES Funcionamiento de la MT.
Máquina de Tesis de Church/Turing. Máquina de
Turing y Turing Universal.
Computación. Funciones computables. Decidibilidad.

Funciones Introducción , Funciones recursivas

recursivas. primitivas , Funciones recursivas
parciales

Introducción
En las Unidades precedentes se han estudiado lo que se puede considerar las
máquinas abstractas que permiten solucionar ciertos tipos de algoritmos, los
algoritmos en los que no puede recordarse más que una cantidad fija de información
y otros en los que la información desarrollada durante la ejecución del algoritmo
puede recuperarse solo en concordancia con la regla “lifo” últimos en entrar primeros
en salir, en esta unidad se describe una maquina abstracta, llamada Máquina de
turing , que es aceptada de manera amplia como modelo general de computación,
aunque las operaciones básicas de esta máquina son comparables en su sencillez a
las de las máquinas estudiadas en las unidades anteriores, las nuevas maquinas
pueden realizar una amplia variedad de operaciones de computo. Además de
aceptar lenguajes les es posible computar funciones y de conformidad con la tesis de
Church-Turing, ejecutar casi cualquier procedimiento algorítmico concebible.

Objetivo General

Reconocer la importancia y el poder computacional de las maquinas de turing en el

contexto de la solución de problemas computacionales de reconocimiento de
lenguajes.

Objetivos específicos

Estudiar las maquinas de turing y sus propiedades básicas

Elaboración del trabajo: Con la información individual y grupal recogida en las

bibliotecas, en la Red, haciendo entrevistas a especialistas etc. deberán elaborar
un informe que recoja lo esencial que han aprendido: el trabajo final. Para ello
negociarán y construirán entre todo el grupo los contenidos del trabajo, se deja
la decisión al grupo para que seleccione la técnica más adecuada para compartir
la producción de cada uno, se sugiere elaboren mapas de ideas o un mapa
conceptual del tema a partir de la información elaborada individualmente.
El producto es un documento que debe cubrir todos los puntos de la rubrica de
evaluación y debe se elaborado en un procesador de palabras (openoffice write o
Microsoft Word.) Sin embargo se puede optar por entregar otra versión o formato
de este producto como puede ser flash, videos presentación power point,
openoffice Impress u otros formatos.

Formato de presentación del Documento: El documento debe contener los

siguientes puntos (se da cierta flexibilidad en el título de estos puntos):

Datos de los Estudiantes (nombre, número de matrícula, e-mail, Zona, Cead)

Datos del tutor.

Descripción general del trabajo.

Valoración personal, evidencias (fotografías, videos (opcional), animaciones,
presentaciones etc.)

Ejercicios Propuestos:

1. Realiza una breve síntesis del invento patentado por Alan Turing en 1931.
2. Describa en que consiste la prueba de Turing (maquina y persona)
3. ¿Qué es una maquina de Turíng y como funciona?
4. Mediante un ejemplo de maquina de Turing ilustre su representación
grafica, elementos correspondientes y reconocimiento de cadena.
5. Describa la clasificación de las maquinas de Turing y defina cada una de
ellas.
6. Cuales son los lenguajes aceptados para una maquina de Turing. De 3
ejemplos de cadena de estos lenguajes.
7. Mediante un grafo explique la construcción modular de las maquinas de
Turing y describa cada uno de sus elementos.
8. Describa el proceso de reconocimiento de cadenas utilizando la maquina
de Turing
9. Mencione 5 ejemplos de aplicación de una maquina de Turing e ilustre sus
funcionamientos.
10.Describa el funcionamiento de la maquina de Turing Multicintas.

EVALUACIÓN: Se diligenciarán los cuadros de autoevaluación y coevaluación

que se encuentran anexos a esta guía La calificación tendrá un peso de 50 puntos
de 500 posibles, que se obtienen luego de enviar el documento al foro.
 AUTOEVALUACION
Evaluación individual de cada integrante del grupo

Nombre: _____________________________________ Fecha: _____________

A continuación se presenta una serie de aspectos relacionados con su participación en el desarrollo

del curso académico y en particular de esta unidad.

Para autoevaluar su participación individual y grupal, asigne para cada aspecto un puntaje de 1 a 5.
Aquellos aspectos o afirmaciones aseveraciones que no puede calificar, asigne 0 (cero) y justifique
por escrito.

Puntaje y su descripción:
1 2 3 4 5
Insuficiente Menos que regular Regular Bueno Muy Bueno

Aspectos o afirmaciones Puntaje

Estuve en permanente contacto con mi grupo colaborativo.
Me comuniqué con mi tutor frente a alguna emergencia, duda, etc.
Acusé recibo de las comunicaciones realizadas por e-mail.
Realicé las tareas que me comprometí en forma oportuna
Colaboré oportunamente en la fases del desarrollo de las guías didácticas
Tomé en cuenta las observaciones y sugerencias hechas por el tutor en la planificación de las
actividades.
Busqué otras fuentes de información (textos, URL, etc.) para el desarrollo de las actividades
del curso académico.
Participé activamente en el desarrollo de los contenidos de la guía didáctica
Participé activamente en las reuniones grupales para la realización de las actividades.
Los aportes realizados a mi grupo de trabajo fueron oportunos.
Mantuve una interacción respetuosa con mis compañeros de grupo y tutor.
Asistí puntualmente a todas las reuniones fijadas por el grupo

¿Qué aspectos ha mejorado en sus procesos de aprendizaje

Justificaciones para afirmaciones o aspectos no calificados con puntaje de 1 a 5, los puntajes a los
cuales les asignó un valor de 0:
 COEVALUACION
Evaluación del coordinador a su grupo o de cada integrante del grupo a un compañero

Nombre del Evaluador:_________________________Fecha: ____________

El trabajo grupal colaborativo relaciona con la participación y aporte de cada integrante en las
actividades grupales solicitadas en la guía, en aspectos como son la discusión, análisis y generación
conjunta de los contenidos requeridos en los mismos, al igual que la participación activa y colaborativa
en el proceso de aprendizaje.
Como Integrante de su grupo de trabajo, le solicitamos evaluar el grado de participación de cada uno
de los participantes, asignando un puntaje de 1 a 5 para cada una de los siguientes aspectos. Aunque
esta evaluación implica apreciación personal, le solicitamos que asigne el puntaje de manera objetiva.
Puntaje y su descripción:
1 2 3 4 5
Insuficiente Menos que regular Regular Bueno Muy Bueno

NOMBRE DE CADA PARTICIPANTE

AFIRMACIONES – aspectos
Asistió a las reuniones de trabajo de grupo.
Mantuvo permanente comunicación con el resto
de los participantes del grupo.
Ayudó a aclarar dudas o confusiones en torno a
los temas tratados en las actividades.
Intercambió información, datos, ideas, etc. con
sus compañeros de grupo durante el desarrollo
de las actividades.
Hizo algún aporte en el desarrollo de las
actividades.
Participó en la solución de problemas durante el
trabajo grupal.
Ayudó a organizar el trabajo grupal.
Fue responsable con las acciones asumidas
dentro del grupo de trabajo.
Fue puntual en las reuniones convocadas para el
trabajo grupal.
Mantuvo una interacción respetuosa con todos
los integrantes del grupo.
Consideró las ideas y aportes del resto del grupo
de trabajo.
Colaboró en la búsqueda de información y
recursos para la fase del desarrollo de las
unidades didácticas.
En su rol de Coordinador del grupo de trabajo o de integrante le solicitamos nos señale cómo se sintió
respecto al trabajo en equipo, además de las debilidades y fortalezas percibidas en su grupo de
trabajo.
___________________________________________________________________________

____________________________________________________________________
 FASE DE SITUACIONES DIDÁCTICAS / CARACTER FORMATO DE SISTEMA DE SISTEMA DE
UNIDAD
APRENDIZA SITUACIONES DE SALIDA ACTIVIDADES DE LA OBJETIVACIÓN / INTERACTIVIDADES EVALUACION SEGUIMIENTO
DIDACTICA
JE ACTIVIDAD PRODUCTOS
Unidad 1 El estudiante reconoce los Situación 1: Grupo de Resumen / Mapa Encuentro presencial

RECONOCI
Lenguajes elementos básicos y Actividad de inducción al curso en grupo. curso conceptual GRUPO DE CURSO

MIENTO
regulares fundamentales del curso de Tiempo: 2 horas chat con los
autómatas y lenguajes estudiantes que tienen
1-Gramáticas formales dificultades de
regulares asistencia.
El estudiante se apropia de los Situación 2: Individual Fichas Resumen / Correo electrónico, Autoevaluación Ficha
2-Autómatas
finitos
conceptos de Autómatas Estudio Independiente: Mapa conceptual teléfono o informe Portafolio seguimiento
finitos, deterministas y no Investigación y/o lectura sobre los temas Informe escrito personal de Portafolio
3-Expresiones deterministas, de la unidad al igual que realiza ejercicios Portafolio desempeño
regularesPropie Lenguajes regulares, sobre : Autómatas finitos, deterministas y Tiempo: 3 horas (tutor)
dades de Gramáticas regulares, no deterministas
lenguajes Expresiones regulares y sus Tiempo: 16 horas Grupo
regulares propiedades Tiempo: 3 horas Colaborativo
PROFUNDIZACION

Situación 3: Individual Fichas Resumen / Correo electrónico, Autoevaluación Ficha

Estudio Independiente. Investigación en Mapa conceptual teléfono o informe Portafolio seguimiento
diferentes fuentes documentales y Informe escrito personal de Portafolio
ejercicios sobre , Expresiones regulares Portafolio desempeño
Gramáticas, ¿qué son y para qué son
necesarias? Derivación, ¿en qué consiste Tiempo: 3 horas (tutor)
la operación de derivación? Árboles de
derivación, ¿qué son, cómo se
construyen? Estudiar el lenguaje
generado por una gramática Conocer la
clasificación de Chomsky. Conocer la
relación entre gramáticas y lenguajes
Saber como determinar el tipo de un
lenguaje. Saber limpiar una gramática.
Tiempo: 14 horas. Grupo
Tiempo: 2 horas Colaborativo
El estudiante propone Situación 4: Grupal Fichas Resumen Evento grupal Heteroevaluación Ficha
ejercicios de expresiones Preparación ejercicios para sustentación Se asignaran Mapa conceptual presencial o Chat Portafolio seguimiento
regulares, dibuja diagramas sobre: * Autómatas finitos, deterministas temas a Informe personal de Portafolio
TRANSFERENCIA

de transición, relaciona y no deterministas, Lenguajes regulares, grupos los Portafolio desempeño Informes
autómatas finitos con Gramáticas regulares, cuales se
expresiones regulares Expresiones regulares, minimización encargaran
Tiempo: 2 horas de realizar
ponencia
Situación 5: Individual Fichas Resumen Foro o ante un evento Coevaluación Ficha
Preparación de una sustentación sobre la Mapa conceptual grupal Portafolio seguimiento
relación que existe entre autómatas Informe personal de Portafolio
finitos y expresiones regulares Portafolio Tiempo: 3 horas (tutor) desempeño Informes
Tiempo: 2 horas
 FASE DE SITUACIONES DIDÁCTICAS / CARACTER FORMATO DE SISTEMA DE SISTEMA DE
UNIDAD
APRENDIZA SITUACIONES DE SALIDA ACTIVIDADES DE LA OBJETIVACIÓN / INTERACTIVIDADES EVALUACION SEGUIMIENTO
DIDACTICA
JE ACTIVIDAD PRODUCTOS
Unidad 2 El estudiante Utiliza las Situación 6: Individual Fichas Resumen / Correo electrónico, Autoevaluación Ficha

RECONOCIMIENTO
Lenguajes gramáticas para la definición Estudio Independiente. Investigación Mapa conceptual teléfono o informe Portafolio seguimiento
independientes de lenguajes. Sobre las definiciones básicas, las Informe escrito personal de Portafolio
del contexto Define y utiliza los autómatas transformaciones y las formas normales Portafolio desempeño
con pila. libres del contexto Tiempo: 3 horas (tutor)
1 -Gramáticas
independientes Tiempo: 4 horas
del contexto.

2 -Autómatas a
pila. Apropiación de los conceptos Situación 7: Individual Ensayo Interactividad Autoevaluación Ficha
de gramáticas y para que son Realiza ejercicios en forma independiente Informe asincrónicas: correo seguimiento
3 -Propiedades necesarias sobre derivación y ambigüedad, electrónico Portafolio
de lenguajes La construcción de árboles de simplificación de las gramaticas,
independientes derivación y ambigüedad. procesos de utlizacion de las formas Tiempo: 3 horas (tutor)
PROFUNDIZACION

del contexto Relacionar las gramáticas con normales de Chomsky y Greinbach.

los lenguajes. Construcción de autómatas con pila y
Construir autómatas a partir lenguajes libres de contexto
de gramaticas.
Tiempo: 26 horas
Situación 8: Grupos Informe Grupo de curso Coevaluación Ficha
Preparación de ejercicios para Colaboativos Portafolio seguimiento
representar las propiedades de los personal de Portafolio
lenguajes libres de contexto. Tiempo: 3 horas (tutor) desempeño Informes
Demostración de los algoritmos de
decisión, algoritmos de pertenencia

Tiempo: 5 horas
El estudiante Construye Situación 9: Grupo de Fichas Resumen Grupo de curso para Heteroevaluación Ficha
gramáticas libres de contexto, Preparación y presentación de una tabla curso Mapa conceptual sustentación o Chat Portafolio seguimiento
para Expresiones aritméticas comparativa de los lenguajes libres de Informe personal de Portafolio
TRANSFERENCIA

Expresiones aritméticas de contexto y los libres de contexto Portafolio desempeño Informes

enteros e identificadores con deterministicos
los cuatro operadores binarios
+, -, *, / Además de los Tiempo: 2 horas
operadores unarios + y - Situación 10: Grupo de Portafolio Evento presencial Portafolio Ficha
para La sentencia condicional Sustentación y Evaluación del Portafolio curso Individual personal de seguimiento
del lenguaje Pascal. individual en el tema de la construcción desempeño Portafolio
de un autómata con pila deterministico a
partir de una gramática.

Tiempo: 2 horas
 SITUACIONES DIDÁCTICAS / CARACTER FORMATO DE SISTEMA DE SISTEMA DE
UNIDAD FASE DE
SITUACIONES DE SALIDA ACTIVIDADES DE LA OBJETIVACIÓN / INTERACTIVIDADES EVALUACION SEGUIMIENTO
DIDACTICA APRENDIZAJE
ACTIVIDAD PRODUCTOS
Unidad 3 El estudiante reconoce la Situación 11: Grupo de Resumen / Mapa Encuentro presencial Autoevaluación Ficha
lenguajes maquina propuesta por Alan Actividad de inducción al uso y curso conceptual GRUPO DE CURSO Portafolio seguimiento

RECONOCIMIENTO
estructurad Turing para estudiar procesos planteamiento de las maquinas de turing chat con los personal de Portafolio
os por estudiar las suposiciones de Tiempo: 2 horas estudiantes que tienen desempeño
frases turing sobre su maquina dificultades de
asistencia.
1. Máquinas Situación 12: Grupo Resumen / Mapa Correo electrónico, Autoevaluación Ficha
de Turing. Comparar: Colaborativos conceptual teléfono o informe Portafolio seguimiento
Autómatas Finitos–Autómatas de Pila y escrito personal de Portafolio
2. Máquina Máquinas de Turing desempeño
de Turing y Tiempo: 2 horas
Computación
El estudiante deduce que Al Situación 13: Individual Fichas Resumen / Correo electrónico, Autoevaluación Ficha
3. Funciones igual que ocurre con los Estudio Independiente. Sobre los Mapa conceptual teléfono o informe Portafolio seguimiento
recursivas Autómatas Finitos, las lenguajes estructurados por frases, sobre Informe escrito personal de Portafolio
PROFUNDIZACION

máquinas de Turing pueden la construcción modular de las maquinas Portafolio desempeño

ser: de turing y como aceptadoras o Tiempo: 3 horas (tutor)
–Deterministas reconocedoras de lenguajes
–No-Deterministas Tiempo: 26 horas
y que para cada máquina de Situación 14: Grupo de Ensayo Interactividad Coevaluación Ficha
Turing no-determinista existe Chat: Establecimiento de las diferencias y curso Sincrónica: Chat Heteroevalaución seguimiento
una máquina determinista equivalencias entre las máquinas de Tutoría grupal Portafolio
equivalente Turing y la º Gramática Estructurada por Informes
Frases
Tiempo: 2 horas
El estudiante establece Situación 15: Grupos Informe Grupo de curso Coevaluación Ficha
diferencias entre lenguajes Preparación de una sustentación sobre Colaboativos Portafolio seguimiento
aceptables vs. Lenguajes los autómatas lineales personal de Portafolio
decidibles esto Implica Tiempo: 3 horas Tiempo: 3 horas (tutor) desempeño Informes
reconocer el complemento del
TRANSFERENCIA

lenguaje.

Establecer los diferentes tipos Situación 16: Grupo de Fichas Resumen Tutoría Individual Heteroevaluación Ficha
de configuraciones de la Presentación de ejercicios sobre curso Mapa conceptual Portafolio seguimiento
maquina de turing autómatas de tipo 0 y autómatas de tipo Informe Tiempo: 3 horas (tutor) personal de Portafolio
1 Portafolio desempeño Informes
Tiempo: 2 horas
Situación 17: Individual Portafolio Evento presencial Portafolio Ficha
Sustentación y Evaluación del Portafolio Individual personal de seguimiento
individual (Final) desempeño Portafolio
Tiempo: 4 horas
Referencias:

Salazar Ramos Roberto, Otros, Curso de entrenamiento de tutores UNAD, UNAD, Vicerrectoría de
medios y mediaciones pedagógicas – 2007

http://www97.intel.com/cr/ProjectDesign/InstructionalStrategies/CooperativeLearning/

http://moodle.org/mod/forum/discuss.php?d=47912 Jordi Botella de Maglia

http://www.exa.unicen.edu.ar/asai2006/pdfs/waife/duran.pdf Autor: Elena B. Durán