Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Guia Integradora 301405
Guia Integradora 301405
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
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
Estrategia de aprendizaje: Estrategia de aprendizaje basado en basado en problemas. Entre las ventajas
que tiene la estrategia en proyectos 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.
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):
Semana 1,2,3,4 Reconocimiento
(del 05 de
del curso
agosto al 02 de
septiembre)
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. (Hasta la
semana
2,
es
decir
hasta
el
19
de
agosto).
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 (Hasta la semana 2, es decir hasta el 19 de
agosto).
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).
Planeacin de
ejercicios bsicos
solucin de
problemas.
Semanas
3,4,5,6,7 (del
20 de agosto al
28 de
septiembre)
Momento tres:
(actividades
finales):
recoleccin y
anlisis de la
informacin y
el
planteamiento
de estrategias
de solucin.
Semanas
8,9,10,11,12,
13,14,15,16
(del 29 de
septiembre al
23 de
noviembre)
Momento
cuatro:
Actividad final,
Solucin a los
problemas
Semanas
17,18 (del 24
de noviembre
al 08 de
diciembre)
Recoleccin y
anlisis de la
informacin
Planteamiento de
estrategias de
solucin.
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
Para ello vamos a
Uno:
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
siguientes
(actividades
estructura del aula. Debe reconocer que tipo de actividades sern abordadas y la
conceptos: (propios forma de presentarlas.
Iniciales):
del aula)
Reconocimien
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
Syllabus. Agenda.
a cada recurso. Exploracin de actividades.
Gua integradora.
Rbrica Integradora.
Momento
Nombre
Tipo de actividad
(descripcin corta y
concreta de que se
trata)
Fecha de inicio /
fecha de cierre
Fechas de
retroalimenta
cin
Sitio en el aula
donde se entrega la
actividad (si es quiz
o leccin, en el
nombre del tpico
donde se presenta)
Peso
evaluativo
Tipo de
desarrollo (si
es individual
o
colaborativo)
http://youtu.be/tOWgRXKcAo
http://youtu.be/01LBHqKrVv
g
http://youtu.be/nSZZRzj6zPI
http://youtu.be/uoKLtu2Am6
k
http://www.mates.byethost4.com/audiovisuales/matematicas/documentalesbbc.html
Secretos de la segunda guerra mundial. El cdigo Eigma. El trabajo de los
criptgrafos.
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 de Reconocimiento 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
http://datateca.unad.edu.co/co
ntenidos/301405/20142_AVA/AUTOMATAS_Y_LENGU
AJES_FORMALES.pdf
http://www.veoh.com/watch/v
616083236Thn5HJn
http://youtu.be/HF9-e28TWb0
http://youtu.be/3kWdHOLwAQ
http://youtu.be/eWUfPJD9A_0
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
.Duitama. 2014. Recurso disponible en: (formato video).
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 archivo 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 y se llama Actividad momento 1 Es de desarrollo grupal
Si es JFLAP (los de
Problemas a desarrollar:
Dada la siguiente tabla de transicin:
Momento
Uno:
Planeacin
(Diseo de AF
y AP)
organizacin
con el grupo de
trabajo
CANAL / RECURSO
http://datateca.unad.edu.co/co
ntenidos/301405/20142_AVA/AUTOMATAS_Y_LENGU
AJES_FORMALES.pdf
http://youtu.be/FcsxGEFF5RI
http://youtu.be/q5G0WnL5JUA
http://youtu.be/yfXfKKZZl1g
http://youtu.be/1YdZpLloFb8
AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible
en : (formato pdf). Ejercicios 26 38 (p g 168 174) 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
.Duitama. 2014. Recurso disponible en: (formato video).
Problemas a desarrollar:
PARTE 1: Calcular el autmata mnimo correspondiente al siguiente autmata finito.
1.
2.
3.
4.
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.
http://datateca.unad.edu.co/
contenidos/301405/20142_AVA/AUTOMATAS_Y_LEN
GUAJES_FORMALES.pdf
Momento
Tres: Anlisis
de datos.
Diseo
(solucin de un
problema con
MT).
CANAL / RECURSO
http://datateca.unad.edu.co/co
ntenidos/301405/20142_AVA/AUTOMATAS_Y_LENGU
AJES_FORMALES.pdf
http://youtu.be/Sg3Q2Qm3IL0
http://youtu.be/lb7h724tlFg
AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible
en : (formato pdf). Ejercicio 46 (p g 180) Disponible en:
http://datateca.unad.edu.co/contenidos/301405/2014-2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf
Producto del momento tres: 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 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.
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_mom3_301405.rar
EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVIDAD ES EN EL ENTORNO
DE EVALUACION Y SEGUIMIENTO Actividad momento 3 Es de desarrollo grupal
Disee una MT que comporte como un transductor, es decir que genera una salida en la cinta: El
comportamiento de la mquina debe permitir que dada una palabra de entrada (en formato binario), esta
sea sustituida en la salda pro smbolos intercambiados (Es decir, que sustituya los 0s por 1s y los 1s
por 0s).
ntenidos/301405/20142_AVA/AUTOMATAS_Y_LENGU
AJES_FORMALES.pdf
http://youtu.be/ZnCbur8zQiU
http://youtu.be/eWkTdnDtiKo
AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible
en : (formato pdf). Ejercicio 48. (pg 181) (Decodificacin a partir de datos errados) Disponible en:
http://datateca.unad.edu.co/contenidos/301405/2014-2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf
Problemas a desarrollar:
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.
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.
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
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.