t2 100105-423

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

Curso: Autmatas y lenguajes Formales.
301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
GUA INTEGRADORA DE ACTIVIDADES (curso intersemestral 2014-2)
Autmatas y lenguajes Formales_ 301405
Temticas revisadas: Exploracin de las referencias requeridas y referencias complementarias de cada una
de las unidades que conforma el curso.
Unidad 1: Lenguajes Regulares.
-
Introduccin e Historia
Alfabetos, cadenas y lenguajes
Autmatas y lenguajes
Lenguajes Regulares
Autmata
Definicin formal de autmatas finitos
Autmatas finitos determinsticos (AFD)
Autmatas finitos No determinsticos (AFND)
Autmatas finitos con transiciones
Lenguajes regulares y Expresiones Regulares

Significado de la Expresiones Regulares
Autmatas finitos y Expresiones Regulares
Equivalencia de AFD y de AFND
Minimizacin de autmatas
Lenguaje aceptado por un autmata finito
Unidad 2: Lenguajes Independientes del contexto

-
Gramticas Regulares
Lenguajes libres de contexto y sus mquinas
Arboles de derivacin
Trasformacin de las GLC y Formas Normales
Limitaciones de los LLC
Definicin de Autmata con Pila
Funcionamiento de un PDA
Diseo de un PDA
Funciones que se aplican sobre los stacks (Pilas)
Combinacin modular de los Autmatas con Pila
Lenguaje aceptado por un PDA
Relacin entre los AP y los LLC
Propiedades de clausura de los LLC
Algoritmos de decisin para los LLC
Problemas indecidibles para los LLC
Unidad 3: Lenguajes estructurados pro frases.

-
Formalizacin de las Mquinas de Turing (MT)

Funcionamiento de las MT
Diferencias entre un computador y una MT
La Mquina Universal de Turing (MUT)
Lenguajes aceptados por la MT
Tesis de Church/Turing
Variantes de una MT
Problemas de Hilbert
Problemas Insolubles para la Teora de Lenguajes
Lenguajes Decidibles
Problemas de Halting

-
Decibilidad de teoras lgicas

Reducibilidad de Turing
Algoritmo de Trellis
Algoritmo de Viterbi
Estrategia de aprendizaje: Estrategia de aprendizaje basado en basado en problemas. Entre las ventajas
que tiene la estrategia en problemas es que le permite a los estudiantes desarrollar habilidades y competencias
como la colaboracin, planeacin de proyectos comunicacin toma de decisiones y manejo del tiempo, entre
otras.
Sntesis de las actividades:
Las actividades de la estrategia basada en problemas se desarrollan en 4 momentos:
MOMENTO 1: (actividades Iniciales): Reconocimiento del curso.
MOMENTO 2: (actividades intermedias): planeacin.
MOMENTO 3: (actividades finales): recoleccin y anlisis de la informacin y el planteamiento de
estrategias de solucin.
MOMENTO 4: (Planteamiento final del problema de aplicacin)
Durante el desarrollo de la estrategia, el estudiante tendr la oportunidad de realizar actividades individuales,
interactuar en el foro colaborativo para debatir con los compaeros del equipo de trabajo, los temas a resolver
en forma grupal, en los diferentes momentos utilizados para la estrategia. Con referencia a las actividades
grupales o colaborativas que lleven a resolver el problema de estudio, el hecho que no haya
intervencin o participacin por los integrantes del curso, no exime de la responsabilidad y desarrollo
de la actividad ya sea individual por parte del integrante. Recuerde que en primera instancia, cada uno
es responsable de su formacin acadmica con sentido profesional. Y por el contenido de la temtica,
es necesario que cada estudiante aborde toda la temtica de manera jerrquica y ordenada.
Momentos de la estrategia: La estrategia basada en problemas del curso Autmatas y Lenguajes Formales
est distribuida en 4 momentos que se ilustran en la siguiente tabla.
Momentos de la estrategia
Momento uno: (actividades
Iniciales):
(del 01de
Reconocimiento
noviembre al 20 del curso
de noviembre)
Actividad
Reconocimiento de cada uno
de
los
entornos
virtuales que
conforma el curso, la estructura del aula y las actividades. (de forma
individual realizar una presentacin con diapositivas, donde consolide el
tipo de actividades a presentar y las caractersticas del aula.
Ver y escuchar la presentacin del curso ubicado en el entorno de
informacin inicial. El estudiante identifica cuidadosamente las
actividades a realizar y la rbrica de evaluacin del momento uno.
Revisar todo el material en video que lo contextualiza en la temtica
(documentales, pelcula, historia de Alan Turing). Material disponible en el
aula
De forma individual el estudiante se evaluar mediante una leccin sobre
el contenido temtico, historia y aspectos que lo ubican en la temtica del
aula. Actividad dispuesta
Los estudiantes del grupo estudian la temtica de la unidad uno e
interpreta su contenido. Ellos se apropian de los contenidos,
conceptualizando, definiendo e interpretando el concepto de autmata y
sus tuplas, lenguajes y expresiones regulares. Basado en unos
problemas planteados con una estrategia de trabajo grupal, los
integrantes presentan la solucin a problemas bsicos de autmatas
con diseos sencillos. (Hasta el 2 de septiembre).

Momento dos:
(actividades
intermedias):
planeacin
Planeacin de
ejercicios bsicos
solucin de
problemas.
(del 21 de
noviembre al
30 de
noviembre)
El estudiante caracteriza la temtica de la unidad dos e interpreta su

contenido.
El estudiante se apropia de la temtica, conceptualiza, define e
interpreta el concepto de gramticas regulares, pilas (PDA).
Preparacin grupal: Cada participante del grupo estudia la temtica, lee
cuidadosamente la gua de actividades y rbrica de evaluacin del
momento dos, enva los aportes correspondientes. Estudian el
problema plateado, plantean y formulan la solucin de manera
consolidada.
Debate grupal: Los integrantes del grupo analizan, discuten los aportes
enviados, y deciden sobre la organizacin, estructura y envo del
trabajo. El grupo entrega el producto solicitado en el foro para el
desarrollo del momento dos en el entorno de aprendizaje colaborativo.
(Hasta el 15 de septiembre).
Momento tres:
(actividades
finales):
recoleccin y
anlisis de la
informacin y
el
planteamiento
de estrategias
de solucin.
Recoleccin y
anlisis de la
informacin
El estudiante realiza la evaluacin de la unidad tres, con el instrumento

planeado (quiz) para ello, en el entorno de evaluacin y seguimiento.
(Hasta la semana 10, es decir hasta el 12 de octubre).
Preparacin Grupal: Cada participante del grupo estudia la temtica,

(problemas planteados) lee cuidadosamente la gua de actividades y
rbrica de evaluacin del momento tres, enva los aportes
correspondientes.
(del 01 de
diciembre al 12
de diciembre)
Momento
cuatro:
Actividad final,
Solucin a los
problemas
(del 13 de
diciembre al 23
de diciembre)
Evaluacin Individual: mediante un quiz se evalan conceptos que

refuerzan los desarrollos de cada problema planteado en las anteriores
fases. (Hasta el 28 de septiembre)
El estudiante identifica la temtica de la unidad tres, e interpreta su
contenido.
Debate grupal: Los integrantes del grupo analizan, discuten los aportes
enviados, y deciden sobre la organizacin, estructura y envo del trabajo.
Planteamiento de
estrategias de
solucin.
El grupo entrega el producto solicitado en el foro para el desarrollo del

momento tres en el entorno de aprendizaje colaborativo. (Hasta la
semana 16, es decir hasta el 23 de noviembre).
Preparacin individual: Cada integrante del grupo lee cuidadosamente la
gua de actividades y rbrica de evaluacin del momento cuatro; enva
los aportes correspondientes.
Debate grupal: Los integrantes del grupo, analizan, discuten los aportes
enviados, y deciden sobre la organizacin, estructura y envo del trabajo.
El grupo entrega el producto solicitado en el foro para el desarrollo del
momento cuatro en el entorno de aprendizaje colaborativo. (Hasta la
semana 18, es decir hasta el 8 de diciembre). Cada estudiante presenta
la sustentacin del proyecto final, segn las indicaciones. (Hasta la
semana 18, es decir hasta el 8 de diciembre).

Desarrollo de la estrategia
Actividades a realizar en el momento uno
Recursos para el momento uno (contextualizacin de forma individual) (RECONOCIMIENTO)
Momento
Unidades
Referencias requeridas
Uno:
Para ello vamos a El objetivo de esta actividad es que el estudiante se contextualice en el entorno
Reconocimiento abordar los
de aprendizaje. Identifique el tipo de temtica, las caractersticas del curso y la
(actividades
siguientes
estructura del aula. Debe reconocer que tipo de actividades sern abordadas y la
Iniciales):
conceptos:
forma de presentarlas.
Reconocimien
(propios del aula)
DESCRIPCIN DEL MATERIAL
CANAL / MEDIO
to del curso
Entornos AVA.
Contenido del curso. Aula 301405 disponible en entorno AVA. Navegacin por cada tpico y acceso
a cada recurso. Exploracin de actividades.
Syllabus. Agenda.
Gua integradora.
Rbrica Integradora.
Campus virtual. Aula 301405.

Recorrido del aula y de cada
tpico
Producto entregar: El producto es un una presentacin en power point que se debe ubicar o subir en el foro
Reconocimiento del aula y de actividades Ubicado en el entorno de aprendizaje colaborativo
Actividad a desarrollar de reconocimiento: De manera individual el estudiante realiza una presentacin en
power point con las siguientes siete (07) diapositivas:
1. Presentacin del estudiante: Nombre, Apellidos, grupo a que pertenece, CEAD, Programa acadmico
que cusa.
2. Caractersticas del curso: Cdigo, nmero de crditos, tipo de curso (terico, prctico o metodolgico),
Habilitable o no, Opcin del 100 % o no, Nombre del director y del tutor de su grupo.
3. Caractersticas de las estrategias de aprendizaje (Es por proyectos, pro problemas, por casos).
Identificacin de los momentos (nombres) y las fechas que abarca ese momentos)
4. Una descripcin del tipo de temtica que aborda AUTOMATAS Y LENGUAJES FORMALES
5. Una tabla con la caracterizacin de cada actividad as:
Momento
Nombre
Tipo de actividad Fecha de inicio / Sitio en el aula

(descripcin)
fecha de cierre donde se entrega
Peso evaluativo (en

punto y porcentaje)
6. Relacionar que tipo de material y de bibliografa dispone el curso.

7. Consolidado de las recomendaciones que emite el director del aula para poder abordar y tener xito en
el curso.

DOCUMENTO A ENTREGAR: Se debe entregar un archive comprimido (.rar) (con la presentacin en
power point) que contenga el siguiente nombre: Como ejemplo, si el estudiante se llama Carlos Alberto
Amaya Tarazona y pertenece al grupo 44, entonces el archivo a enviar es: 44_rec1_301405.rar
Recursos para el momento uno (contextualizacin de forma individual) (RECONOCIMIENTO)

Momento
Unidades
Uno:
Para ello vamos a El objetivo de esta actividad es la de facilitar la apropiacin de conocimientos
Reconocimiento abordar los
para que el estudiante pueda adquirir los conceptos bsicos de la teora de los
(actividades
siguientes
lenguajes formales y la relacin que existe con la teora de autmatas.
Iniciales):
conceptos:
Reconocer que tipo de temtica ser la tratada
Reconocimien
Introduccin
to del curso
DESCRIPCIN DE VIDEO
CANAL
Histrica
Diferentes Modelos
de Computacin
Autmatas y
Lenguajes
Lenguajes y
Gramticas.
Aspectos de su
traduccin
Alfabetos y Palabras
Lenguajes
Gramticas
Generativas
Jerarqua de
Chomsky
Tras las huellas de la mente de Alan Turing. La polmica historia de esta

brillante mente. Un reto complejo para quienes quieran entender y seguir sus
pasos. "Un genio trgico".
http://youtu.be/tOWgRXKcAo
Solo escchenla y quedarn sorprendidos del legado que Alan Turing ha

dejado.
Historia de Alan Turing. (23 de Junio de 1912 - 7 de Junio de 1954).
Matemtico ingls. Historia contada al estilo de Diana Uribe. (Historiadora
Colombiana a quin admiro y le expreso mi ms sentido agradecimiento por
contarnos todas las historias que han marcado el rumbo de la humanidad). Le
reconozco sus derechos intelectuales por esta narracin que comparto a
quienes me siguen en este reto de comprender como funcionan las mquinas
computacionales.
Cuntame una historia. Alan Turing
http://youtu.be/01LBHqKrVv
g
Charla El legado de Alan Turing
http://youtu.be/nSZZRzj6zPI
Pelcula que cuenta la historia de un genio controvertido "Alan Turing". Con

subttulos en espaol.
http://youtu.be/uoKLtu2Am6
k
DANGEROUS KNOWLEDGE. Conocimientos peligrosos. El documental,

narrado por David Malone, se centra en la vida de cuatro brillantes
matemticos - Georg Cantor, Ludwig Boltzmann, Kurt Gdel y Alan Turing -, lo
que rode sus descubrimientos y las reacciones de la comunidad cientfica
hacia ellos, as como la evolucin de sus personas hasta el declive. Sus
trabajos han llegado a influir enormemente incluso en mbitos no cientficos,
o en la perspectiva de como observamos el mundo en general y nuestro
pequeo entorno en particularmente. Desafortunadamente sus mentes
privilegiadas no pudieron impedir que llegaran a enloquecer hasta el punto de
cometer suicidio. O consulta esta URL:
PARTE 1: CANAL VIMEO

http://vimeo.com/30482156
PARTE 2: CANAL VIMEO
http://vimeo.com/30641992
http://www.mates.byethost4.com/audiovisuales/matematicas/documentalesbbc.html
Secretos de la segunda guerra mundial. El cdigo Eigma. El trabajo de los
criptgrafos.
1.
2.
3.
4.
http://youtu.be/EVQNosg6w
EQ
Ver y escuchar la presentacin del curso, que se encuentra en el entorno informacin inicial.
Cada estudiante lee cuidadosamente las actividades a realizar y rbrica de evaluacin del momento uno.
Cada estudiante debe ingresar y ver los materiales en video (documental, pelcula y recuento histrico).
De manera individual, contestar una evaluacin que lo contextualiza y ubica en la temtica. Esta
actividad la encuentra en el entorno de evaluacin y seguimiento.

Momento
Momento uno:
Actividades
iniciales:
Reconocimiento
Y
caracterizacin
de problemas
asociados a
Autmatas
Recursos para el momento uno (desarrollo de problemas de forma grupal)

Unidades
UNIDAD UNO:
El objetivo de esta actividad es que mediante la formulacin de problemas
Para ello vamos a bsicos en diseo de autmatas, los estudiantes identifiquen los componentes de
abordar los
estas mquinas abstractas y el diseo de las mismas.
siguientes
conceptos:
DESCRIPCIN DEL MATERIAL ACADMICO.
CANAL / RECURSO
Autmatas y
Lenguajes
Lenguajes y
Gramticas.
Aspectos de su
traduccin
Alfabetos y Palabras
Lenguajes
Gramticas
Generativas
Jerarqua de
Chomsky
AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p.

Duitama. 2014. Recurso disponible en : (formato pdf)
http://datateca.unad.edu.co/co
ntenidos/301405/20142_AVA/AUTOMATAS_Y_LENGU
AJES_FORMALES.pdf
AMAYA, C, Descripcin de lenguaje, alfabeto y ER, .Duitama. 2014.

Recurso disponible en : (formato video)
http://www.veoh.com/watch/v
616083236Thn5HJn
AMAYA, C, Construccin, diseo e interpretacin de los componentes de un

autmata (tuplas), 2014. .Duitama. 2014. Recurso disponible en :
(formato video).
http://youtu.be/HF9-e28TWb0
AMAYA, C, Construccin y diseo de autmatas, Diagramas de Moore,

tablas de transicin., .Duitama. 2014. Recurso disponible en: (formato
video).
http://youtu.be/3kWdHOLwAQ
AMAYA, C, Lenguaje aceptado por un Autmata. Tablas de transicin y

descripcin de autmata finito., .Duitama. 2014. Recurso disponible en:
(formato video).
http://youtu.be/eWUfPJD9A_0
AMAYA, C, Cadenas o palabras que acepta un autmata., .Duitama.

2014. Recurso disponible en: (formato video).
http://youtu.be/ASg_ZUXgvZk
AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible
en : (formato pdf). Ejercicios 1 25 (p g 156 168) Disponible en:
http://datateca.unad.edu.co/contenidos/301405/2014-2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf
AMAYA, C, Expresin Regular (ER) que representa el lenguaje que puede http://youtu.be/z7vmzu9078Y
aceptar un autmata., .Duitama. 2014. Recurso disponible en: (formato
video).
AMAYA, C, : Identificacin quntupla de un autmata. Tablas de transicin. http://www.veoh.com/watch/v
Recorrido de una cadena vlida. Leguaje aceptado pro un autmata. 61603854nW9bZSZW
Gramtica., .Duitama. 2014. Recurso disponible en: (formato video).
AMAYA, C, :Gramticas, Arboles de derivacin. Expresiones Regulares, http://youtu.be/LThVITEsLiA
.Duitama. 2014. Recurso disponible en: (formato video).
AMAYA, C, Minimizacin de autmatas,
.Duitama. 2014. Recurso http://youtu.be/Sto4KosrUX8
disponible en: (formato video).
AMAYA, C, Minimizacin de autmatas (uso de simuladores). JFLAP., http://youtu.be/d0-Nkk3Y1DU
1. Identificar el material disponible (mdulo versin 4 de 2014-2)

2. Ver y escuchar cada uno de los materiales en video que se referencian y a que adems al final de cada
seccin en el mdulo se identifican. Es un proceso jerrquico y ordenado. Como sugerencia se indica no
avanzar en temticas que no se hayan entendido o apropiado.
3. Cada estudiante lee cuidadosamente las actividades a realizar y rbrica de evaluacin del momento uno.
4. Al final del material didctico, hay formulados ejercicios para cada tema, muy similares a los problemas
propuestos, estos estn desarrollados, puede apoyarse en ellos para reforzar y comprender la temtica.
Producto del momento uno: El producto es un documento que debe cubrir todos los puntos de la rbrica de
evaluacin y debe ser elaborado en un procesador de palabras (openoffice write o Microsoft Word.) para luego
ser convertido a PDF (Portable data File).
NOTA IMPORTANTE. Para los ejercicios propuestos de esta actividad, (que son dos) se deben realizar o

recrear en alguno de los dos simuladores: Los grficos y anlisis de cada simulador son los que se
exportaran al documento de Word. Debe entregar los archivos generados por el simulador en una
carpeta.
Tenga en cuenta que no se aceptan frmulas, caracteres o expresiones regulares, entre otros que sean
copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas
para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor de
grficos manualmente, tambin son aceptados.
El Visual Autmata Simulator (vas) y/o el JFLAP. En las siguientes direcciones de Internet podrn
descargar las mencionadas herramientas: O EN EL MODULO DEL AULA (Ver 4 2014 -2) EN LA
PAGINA 155 ENCUENTRAN TODA LA LISTA DE HERRAMIENTAS Y LAS URLS DE DESCARGA.
Visual Autmata Simulator. http://www.cs.usfca.edu/~jbovet/vas.html
JFLAP. http://www.cs.duke.edu/csed/jflap/
DOCUMENTO A ENTREGAR: Se debe entregar un archive comprimido (.rar) que contenga el siguiente
nombre: Como ejemplo, si el estudiante se llama Carlos Alberto Amaya Tarazona y pertenece al grupo
44, entonces el archivo a enviar es: 44_mom1_301405.rar
EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVIDAD ES EN EL ENTORNO
DE EVALUACION Y SEGUIMIENTO
El archivo comprimido contendr los siguientes elementos:

UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe
contener los siguientes puntos
PORTADA: Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo que
presenta la actividad). Datos del tutor. Descripcin general del trabajo. Desarrollo de cada uno de los
puntos enunciados a continuacin.
No se est solicitando introduccin, objetivos, bibliografa. Lo importante de esta actividad es estar
concentrados en el desarrollo del ejercicio como estrategia de Problemas. Estos no son considerados

como aportes ni deben ir plasmados en el trabajo.
LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA:
extensin jff) y si es con archivos de VAS (los de extensin .fa)
Si es JFLAP (los de
Problemas a desarrollar:
Dada la siguiente tabla de transicin:
1. Exprese el autmata en notacin matemtica (Tome como referencia, ejemplo 24 pgina

43 del mdulo). Identifique que tipo de autmata es (AFD o AFND) y justifique su
respuesta. (No se trata de dar el concepto de determinismo)
2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del
ejercicio propuesto). Debe explicar y describir cada elemento y la funcin y significado en
el autmata. Conceptos y definiciones adicionales.
3. Identifique el lenguaje que genera.
4. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada
secuencia. (No se trata solo de captura las imgenes, estas deben ser ex0plicaas en pi
de pgina o de lo contrario no tienen validez)
5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres similitudes y
tres diferencias que encuentra al realizarlo en los dos simuladores. (herramientas que
ofrezca uno u otro).
6. Identifique la ER del autmata y Plasme tres cadenas vlidas y tres no vlidas en una tabla
(identificando jerarqua de operadores regulares, identificando colores). Para ello apyese
en el video: http://youtu.be/JZPAHHA2PnE
(minuto 14 al 33). O en el video
http://youtu.be/wGTxhnPXcw4
7. Justifique o explique segn la jerarqua y funcin de los operadores de ER en qu parte se

trunca la jerarqua y orden de los operadores para las cadenas no vlidas de la tabla
anterior
8. De la tabla de transicin dada y del autmata asociado a esa tabla, genere la ER (no
desde el simulador JFLAP), genrela de forma manual y explique cada sentencia
asociada al autmata o diagrama de moore.

Actividades a realizar en el momento dos
Momento
Uno:
Planeacin
(Diseo de AF
y AP)
organizacin
con el grupo de
trabajo

Unidades
UNIDAD
2
bsicos en diseo de autmatas, (planeacin y diseo de manera concreta y
especfica) los estudiantes identifiquen los componentes de Autmatas de Pila y
Gramticas Regulares.
CANAL / RECURSO

AJES_FORMALES.pdf
AMAYA, C, Autmatas y Gramticas, representacin y descripcin.,

.Duitama. 2014. Recurso disponible en : (formato video)
http://youtu.be/FcsxGEFF5RI
AMAYA, C, Configuracin, descripcin. Componentes de un PDA. Parte 1 de

3, 2014. .Duitama. 2014. Recurso disponible en : (formato video).
http://youtu.be/q5G0WnL5JUA

http://youtu.be/yfXfKKZZl1g

http://youtu.be/1YdZpLloFb8
en : (formato pdf). Ejercicios 26 38 (p g 168 174) Disponible en:
AMAYA, C, Expresin Regular (ER) que representa el lenguaje que puede http://youtu.be/z7vmzu9078Y
aceptar un autmata., .Duitama. 2014. Recurso disponible en: (formato
video).
AMAYA, C, : Identificacin quntupla de un autmata. Tablas de transicin. http://www.veoh.com/watch/v
Recorrido de una cadena vlida. Leguaje aceptado pro un autmata. 61603854nW9bZSZW
Gramtica., .Duitama. 2014. Recurso disponible en: (formato video).
AMAYA, C, : Gramticas, Arboles de derivacin. Expresiones Regulares, http://youtu.be/LThVITEsLiA
AMAYA, C, Minimizacin de autmatas,
.Duitama. 2014. Recurso http://youtu.be/Sto4KosrUX8
disponible en: (formato video).
AMAYA, C, Minimizacin de autmatas (uso de simuladores). JFLAP., http://youtu.be/d0-Nkk3Y1DU

2. Ver y escuchar cada uno de los materiales en video que se referencian y a que adems al final de
cada seccin en el mdulo se identifican. Es un proceso jerrquico y ordenado. Como sugerencia se
indica no avanzar en temticas que no se hayan entendido o apropiado.
3. Cada estudiante lee cuidadosamente las actividades a realizar y rbrica de evaluacin del momento
dos.
4. Al final del material didctico, hay formulados ejercicios para cada tema, muy similares a los
problemas propuestos, estos estn desarrollados, puede apoyarse en ellos para reforzar y
comprender la temtica.
Producto del momento dos: El producto es un documento que debe cubrir todos los puntos de la rbrica de

carpeta. Tenga en cuenta que no se aceptan frmulas, caracteres o expresiones regulares, entre otros
que sean copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de
frmulas para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor
de grficos manualmente, tambin son aceptados.
El Visual Autmata Simulator (vas) y/o el JFLAP. En las siguientes direcciones de Internet podrn
descargar las mencionadas herramientas: O EN EL MODULO DEL AULA (Ver 4 2014 -2) EN LA
PAGINA 155 ENCUENTRAN TODA LA LISTA DE HERRAMIENTAS Y LAS URLS DE DESCARGA.
Visual Autmata Simulator. http://www.cs.usfca.edu/~jbovet/vas.html

LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Si es JFLAP (los de
extensin jff) y si es con archivos de VAS (los de extensin .fa)

PARTE 1: Calcular el autmata mnimo correspondiente al siguiente autmata finito.
1.
2.
3.
4.
5.
6.
7.
8.
9.
Enuncie el autmata en notacin matemtica

Identifique los componentes del autmata (que tipo de tupla es)
Identifique la tabla de transicin correspondiente
Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas que terminen
en el estado halt
Encuentre la expresin regular vlida.
Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus
componentes y como se escriben matemticamente). Justifquela si la convierte a la
Izquierda o a la derecha. Plsmela en el simulador y recrela. (Debe quedar documentado
en el texto el paso a paso que realizan en el simulador)
Realice el rbol de Derivacin de esa gramtica
Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de su afirmacin
Si el rbol de transicin es demasiado grande, a su criterio seleccione una regla en la que
se detenga por cualquier rama (izquierda o derecha) y plsmelo hasta ah. (es decir
seleccione una cadena vlida para este tem).
ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO:

1.
2.
3.
4.
5.
6.
7.
8.
Explicar el proceso de Minimizacin (que estados se suprimen y porque)

Que transiciones se reemplazan o resultan equivalentes.
Escribir la funcin de transicin del nuevo autmata.
Identificar la expresin regular (explicarla en la lectura matemtica que se le debe hacer).
Compruebe una cadena vlida para esa expresin regular.
Identificar el lenguaje que reconoce y cinco posibles cadenas vlidas
Identificar su gramtica. Demustrela para una cadena vlida del autmata.
Compare la gramtica con el autmata antes de minimizar (ya sea por la izquierda o
derecha).
9. El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.
10. Identificar sus tablas de Transicin (plasmarlas)
11. Plasmar los pasos de minimizacin en el simulador (comprelos con el proceso manual que
est explicando) y capturar los procesos en imgenes para ser documentadas en el texto.

PARTE 2: Disee un APD que acepte cadenas de este tipo: {(aabc) (aaaaaabc) (aaabcc)
(aaabc) (aaaabcc)} Encuentre en primera instancia una regla que evales estas cadenas y que
cumpla las condiciones de las mismas.
1. Describa el autmata en notacin matemtica, identificando el tipo de cadenas que

reconoce de forma generalizada.
2. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las columnas para un
AP son: El estado en que se encuentra el autmata, lo que falta por leer de la palabra de
entrada, y el contenido de la pila).
3. Plasme las imgenes y capturas en el documento. (Documente el proceso)
4. Muestre el diagrama correspondiente de estados.
5. Identifique los contenidos (el recorrido para cada interaccin) de la pila y el estado de
parada. Realcelo con una cadena vlida.
Recursos para el momento dos (contextualizacin de forma individual) (QUIZ 1)

Momento
Unidades
Dos:
Unidades 1 y 2
El objetivo de esta actividad es la de facilitar la apropiacin de conocimientos
Conceptualizaci
tericos y conceptuales de los AF y los AP (con sus respectivos lenguajes, ER y
n de los
gramticas)
problemas
planteados
CANAL o RECURSO

http://datateca.unad.edu.co/
contenidos/301405/20142_AVA/AUTOMATAS_Y_LEN
GUAJES_FORMALES.pdf
1. La clave de esta actividad, est en que el estudiando haya abordado las actividades de momento 1 y la
actividad inicial de momento 2.
2. El haber desarrollado los problemas propuestos en los anteriores momentos, le garantiza un buen
desarrollo conceptual en esta actividad.
3. Cada estudiante realiza la lectura de los contenidos del mdulo (Unidad 1 y 2). Asocia conceptos a lso
anteriores problemas formulados y los refuerza identificando componentes de los autmatas,
caracterizacin y diseo de mquinas simuladoras que reconozcan lenguajes.
4. De manera individual, contestar un quiz que lo contextualiza y ubica en la temtica. Esta actividad la
encuentra en el entorno de evaluacin y seguimiento.
Actividades a realizar en el momento tres
Momento

Unidades

Tres: Anlisis
de datos.
Diseo
(solucin de un
problema con
MT).
UNIDAD
3

bsicos en diseo de autmatas, los estudiantes identifiquen los componentes de
una Mquina de Turing (MT). Asocie ejemplos a escenarios reales usando
mquinas de estados, (algoritmos para codificacin y decodificacin).
CANAL / RECURSO

AJES_FORMALES.pdf
AMAYA, C, Construccin de Mquinas de Turing (MT). Parte 1 de 2.,

Duitama. 2014. Recurso disponible en : (formato video)
http://youtu.be/Sg3Q2Qm3IL0
AMAYA, C, Construccin de Mquinas de Turing (MT). Parte 2 de 2.,

Duitama. 2014. Recurso disponible en : (formato video)
http://youtu.be/lb7h724tlFg
en : (formato pdf). Ejercicio 46 (p g 180) Disponible en:

dos.
Producto del momento tres: El producto es un documento que debe cubrir todos los puntos de la rbrica de
carpeta.
Tenga en cuenta que no se aceptan frmulas, caracteres o expresiones regulares, entre otros que sean
copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas
para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor de
grficos manualmente, tambin son aceptados.
El JFLAP. En las siguientes direcciones de Internet podrn descargar las mencionadas herramientas: O
EN EL MODULO DEL AULA (Ver 4 2014 -2) EN LA PAGINA 155 ENCUENTRAN TODA LA LISTA DE
HERRAMIENTAS Y LAS URLS DE DESCARGA.


LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Generados en JFLAP (los
de extensin jff).
Disee una MT que genere cadenas de tipo { (aa) (aaaa) (aaaaaa) (aaaaaaaa) (aaaaaaaaaa) }
1. Identifique la regla que define las cadenas de la MT (es igual que encontrar o definir el
lenguaje que acepta la MT). Debe denotarse en cualquier caso en notacin matemtica.

2. Identifique los componentes de la Mquina de Turing (descrbala).
3. Disela en un Diagrama de Moore.
4. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la cinta
como en la secuencia de entrada.
5. Identifique una cadena que no sea vlida y justifquela porque. (recorriendo cinta y datos de
entrada)
6. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de imagen que le genera
JFLAP asociada a cada transicin para el trabajo). El RunTest iplica identificar cada iteraccin en
la que se muestre el carcter ledo, e contenido de la cinta, lo que falta por leer.
7. Identifique en que momento la mquina se detiene.
8. Visualice las salidas (como transductor) para 5 cadenas vlidas en el simulador JFLAP
9. Identifique si el diseo de la Mquina de Turing obedece a un complemento a 1 de un nmero
binario. Justifique su respuesta y documntela. (tenga en cuenta citas y referencias de autores).
No se limite a copiar definiciones.
Recursos para el momento dos (contextualizacin de forma individual) (QUIZ 2)

Momento
Unidades
Tres: Anlisis
Unidad 3
El objetivo de esta actividad es la de facilitar la apropiacin de conocimientos
de datos.
tericos y conceptuales de las T, Funciones recursivas, aplicabilidad de
Diseo
Autmatas con cdigos convolucionales y mquinas de estados.
(solucin de un
problema con
CANAL o RECURSO
MT).
Aplicaciones de
la teora de
http://datateca.unad.edu.co/
autmatas a
contenidos/301405/2014problemas
2_AVA/AUTOMATAS_Y_LEN
reales
GUAJES_FORMALES.pdf
1. La clave de esta actividad, est en que el estudiando haya abordado las actividades de momento 1 de
momento 2.
2. El haber desarrollado los problemas propuestos en los anteriores momentos, le garantiza un buen
desarrollo conceptual en esta actividad..
3. De manera individual, contestar un quiz que lo contextualiza y ubica en la temtica. Esta actividad la
encuentra en el entorno de evaluacin y seguimiento.
Actividades a realizar en el momento cuatro
Momento

Unidades

Cuatro:
UNIDAD
Aplicaciones de 3
autmatas y
mquinas de
estados.
Consolidacin
del problema
(solucin) .
El objetivo de esta actividad que el estudiante mediante un problema aplicado a

la Teora de la Informacin /(deteccin y correccin de errores) usando cdigos
convolucionales y mquinas de estados, solucione u problema de correccin de
datos. Aplique los conceptos y premisas de los problemas formulados
anteriormente en los momentos 1,2 y 3
CANAL / RECURSO

AJES_FORMALES.pdf
AMAYA, C, Cdigo convolucional de m=3 , K=1, Duitama. 2014. Recurso

disponible en : (formato video)
http://youtu.be/ZnCbur8zQiU
AMAYA, C, Decodificacin de viterbi., Duitama. 2014. Recurso disponible

en : (formato video)
http://youtu.be/eWkTdnDtiKo
en : (formato pdf). Ejercicio 48. (pg 181) (Decodificacin a partir de datos errados) Disponible en:

dos.
Producto del momento cuatro: El producto es un documento que debe cubrir todos los puntos de la rbrica
de evaluacin y debe ser elaborado en un procesador de palabras (openoffice write o Microsoft Word.) para
luego ser convertido a PDF (Portable data File).
Tenga en cuenta que no se aceptan frmulas, caracteres o grafos, entre otros que sean copiadas como
imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas para plasmarlas.
Los grficos deben ser generados por algn editor de imgenes o dibujos.


Tomando como referencia la aplicabilidad de las mquinas de estados, la Teora de la Informacin trata
una de las tcnicas de deteccin y correccin de errores, por los teoremas de Trellis y Viterbi con
cdigos convolucionales para canales con ruido.
Se obtiene el sguete dato codificado: (Como se muestra en la tabla), con errores en el par de bits
codificados 2, 4 y 7 con distancia de haming 1.

1. Determine cul fue el dato de entrada. (Complete la tabla)

2. Determine los estados presentes: (represente la mquina de estados) del cdigo convolucional para
k=1 , m= 3, n=2 para cada estado, Es decir, represente la transicin de entrada para cada bit (ocho en
total) con el codificador convolucional.
Estos estados presentes debe completarlos tambin en la tabla.
3. Determine las salidas codificadas: (Complete la tabla).
4. Realice el diagraman de rbol.
5. Realice el diagrama de estados.
6. Realice el diagrama de Trellis con la ruta correcta.
7. Realice el diagrama de Trellis y Viterbi corrigiendo el dato (ruta correcta). Para ello debe mostrar la
ruta correcta identificando las distancias de haming y la seleccin dada para seguir la ruta. Utilice colores
que diferencien las distancias de haming, los datos codificados y las rutas seleccionadas.
Consideraciones generales:
No se calificar el informe que no sea montado en el espacio indicado.
El archivo debe colgarse en el espacio dentro del foro momento cuatro, en el entorno de aprendizaje
colaborativo, llamado: Desarrollo y envo del trabajo del momento cuatro, antes de la fecha de cierre,
segn lo indicado en la agenda del curso.
El tamao del archivo no debe superar 2Mb.

Recuerde que el Foro es el espacio adecuado para construir y desarrollar el trabajo de forma colaborativa, la
clave es la planificacin, organizacin y compromiso del equipo de trabajo.
El estudiante que no participe en el foro de trabajo colaborativo durante el perodo establecido en la agenda del
curso, obtendr una nota de 0 en esta actividad. No se aceptan como aportes o insumos, enunciados o
mensajes que solo digan o expresen intenciones de trabajar.
El plagio tiene una calificacin de 0 en la actividad.

RESUMEN DE LOS PRODUCTOS A REALIZAR EN CADA UNO DE LOS MOMENTOS
Momentos
Productos a realizar
Momento uno
Reconocimiento
Evaluacin de reconocimiento de la
temtica
Reconocimiento
Y caracterizacin de problemas asociados
a Autmatas (actividad colaborativa 1)
Planeacin (Diseo de AF y AP)
organizacin con el grupo de trabajo
(actividad colaborativa 2)
Momento dos
Puntos Puntos Totales

por fases o
momentos
100
10
25
65
75
Quiz 1
75
Momento tres
: Anlisis de datos. Diseo (solucin de un
75
problema con MT). (actividad colaborativa
3)
Quiz 2
50
Momento cuatro
Trabajo
proyecto
final:
Aplicaciones
de125
autmatas
y
mquinas
de
estados.
Consolidacin del problema (solucin).
Total de puntos del curso
150
125
125
500
Recomendaciones
Leer cuidadosamente las indicaciones registradas en los foros (noticias del curso, foro general, foro del
trabajo colaborativo), por parte del director(a), para el adecuado desarrollo de los diferentes momentos
diseados.
Consultar con su tutor(a), cada vez que lo requiera, para aclarar dudas e inquietudes que se presenten
en el proceso.
Avanzar con el desarrollo de las actividades solicitadas en cada uno de los momentos de acuerdo a las
fechas registradas en la agenda.
Lo importante no es el tiempo, lo importante es lo que se hace con l

t2 100105-423

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

t2 100105-423

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

Lenguajes regulares y Expresiones Regulares

Lenguaje aceptado por un autmata finito

Unidad 2: Lenguajes Independientes del contexto

Unidad 3: Lenguajes estructurados pro frases.

Formalizacin de las Mquinas de Turing (MT)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Decibilidad de teoras lgicas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

El estudiante caracteriza la temtica de la unidad dos e interpreta su

El estudiante realiza la evaluacin de la unidad tres, con el instrumento

Preparacin Grupal: Cada participante del grupo estudia la temtica,

Evaluacin Individual: mediante un quiz se evalan conceptos que

El grupo entrega el producto solicitado en el foro para el desarrollo del

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Campus virtual. Aula 301405.

Tipo de actividad Fecha de inicio / Sitio en el aula

Peso evaluativo (en

6. Relacionar que tipo de material y de bibliografa dispone el curso.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Recursos para el momento uno (contextualizacin de forma individual) (RECONOCIMIENTO)

Tras las huellas de la mente de Alan Turing. La polmica historia de esta

Solo escchenla y quedarn sorprendidos del legado que Alan Turing ha

Charla El legado de Alan Turing

Pelcula que cuenta la historia de un genio controvertido "Alan Turing". Con

DANGEROUS KNOWLEDGE. Conocimientos peligrosos. El documental,

PARTE 1: CANAL VIMEO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Recursos para el momento uno (desarrollo de problemas de forma grupal)

AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p.

AMAYA, C, Descripcin de lenguaje, alfabeto y ER, .Duitama. 2014.

AMAYA, C, Construccin, diseo e interpretacin de los componentes de un

AMAYA, C, Construccin y diseo de autmatas, Diagramas de Moore,

AMAYA, C, Lenguaje aceptado por un Autmata. Tablas de transicin y

AMAYA, C, Cadenas o palabras que acepta un autmata., .Duitama.

1. Identificar el material disponible (mdulo versin 4 de 2014-2)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

El archivo comprimido contendr los siguientes elementos:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

1. Exprese el autmata en notacin matemtica (Tome como referencia, ejemplo 24 pgina

7. Justifique o explique segn la jerarqua y funcin de los operadores de ER en qu parte se

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Actividades a realizar en el momento dos

Recursos para el momento uno (desarrollo de problemas de forma grupal)

AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p.

AMAYA, C, Autmatas y Gramticas, representacin y descripcin.,

AMAYA, C, Configuracin, descripcin. Componentes de un PDA. Parte 1 de

AMAYA, C, Configuracin, descripcin. Componentes de un PDA. Parte 2 de

AMAYA, C, Configuracin, descripcin. Componentes de un PDA. Parte 3 de

1. Identificar el material disponible (mdulo versin 4 de 2014-2)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

El archivo comprimido contendr los siguientes elementos:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PARTE 1: Calcular el autmata mnimo correspondiente al siguiente autmata finito.

Enuncie el autmata en notacin matemtica

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO:

Explicar el proceso de Minimizacin (que estados se suprimen y porque)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

1. Describa el autmata en notacin matemtica, identificando el tipo de cadenas que

Recursos para el momento dos (contextualizacin de forma individual) (QUIZ 1)

AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p.

Actividades a realizar en el momento tres