Download - Syllabus 301405 2015 Intersemestral 8 3
1 INFORMACIÓN GENERAL DEL CURSO
ESCUELA O UNIDAD:
Escuela de Ciencias Básicas, Tecnología e Ingeniería
SIGLA:
ECBTI
NIVEL:
Profesional
CAMPO DE FORMACIÓN:
Campo de Formación Interdisciplinar Básico Común
Componente de Formación Tecnológica, Comunicación y Lenguaje.
CURSO:
AUTOMATAS Y LENGUAJES FORMALES
CÓDIGO: 301405
TIPO DE CURSO:
Teórico
N° DE CRÉDITOS:
Tres (03) Créditos
N° DE SEMANAS: 8 semanas de trabajo académico. (Para Intersemestral 8_3 de 2015)
CONOCIMIENTOS PREVIOS:
1. Teoría de conjuntos: Conocimientos y apropiación de las leyes de conjuntos,
propiedades y operaciones de conjuntos. Interpretación de diagramas de venn,
asociaciones, reglas y funciones.
2. Algoritmos. Comprender el diseño lógico, funcional y objetivo de los algoritmos.
Enfoque al análisis de compiladores y estructuras lógicas (sentencias numéricas).
3. Grafos. Conocimientos previos en diagramas de ven, árboles de derivación, tablas de
transición.
4. Algebra. Matemáticas discretas: área de las matemáticas encargadas del estudio de los
conjuntos discretos: finitos o infinitos numerables.
5. Lógica computacional: La misma lógica matemática aplicada al contexto de las ciencias
de la computación. Niveles específicos en la programación lógica y en el análisis y
optimización (de recursos temporales y espaciales) de algoritmos.
DIRECTOR DEL CURSO: Carlos Alberto Amaya Tarazona
FECHA DE ELABORACIÓN:
(Mayo de 2015) Versión (4.0.)
DESCRIPCIÓN DEL CURSO:
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.
La temática aborda conceptos y mecanismos fundamentales para la definición de
lenguajes (expresiones regulares, gramáticas independientes del contexto y gramáticas
generales), los tres tipos de máquinas correspondientes para su reconocimiento
(autómatas finitos, autómatas a pila y máquinas de Turing) y las propiedades
fundamentales de las familias de lenguajes por ellos definidas, también realiza el
estudio de las condiciones necesarias para que un lenguaje sea de un tipo determinado.
Este curso toma como base el avance de los lenguajes de programación de alto y bajo
nivel para propiciar la distinción entre lenguajes formales con reglas sintácticas y
semánticas rígidas, concretas y bien definidas de los lenguajes naturales, como el inglés
o el español, donde la sintaxis y la semántica no se pueden controlar fácilmente.
Los intentos de formalizar los lenguajes naturales, lleva a la construcción de gramáticas,
como una forma de describir estos lenguajes, utilizando para ello reglas de producción
para construir las frases del lenguaje. En cuanto a la utilidad práctica de esta
asignatura, son importantes para la construcción de compiladores: Los lenguajes
regulares para la construcción de analizadores léxicos y los lenguajes independientes
del contexto para la construcción de analizadores sintácticos. La tercera Unidad
Didáctica (Lenguajes estructurados por frases incluidas las máquinas de Turing)
son fundamentales para el estudio de la computabilidad y complejidad de problemas.
2 INTENCIONALIDADES FORMATIVAS
PROPÓSITO:
El estudiante, haciendo uso de los materiales académicos ofrecidos en el aula, con el acompañamiento docente y aplicando la estrategia académica (ABP),
se apropiará de conocimientos que le permitan adquirir los conceptos básicos de la teoría de los lenguajes formales y la relación que existe con la teoría de
autómatas.
Se comprenda 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.
Hacer uso de simuladores para diseñar autómatas, pilas (PDA) y Máquinas de Turing para propósitos específicos, en los que se reconozca su
comportamiento, lenguaje que acepta y la forma de expresarlos matemáticamente, asociándolo a contextos reales o escenarios reales que apliquen la
implementación de estas máquinas abstractas.
COMPETENCIAS GENERALES DEL CURSO
El estudiante deberá identificar los componentes computacionales de un autómata, tendrá la capacidad de describirlos y formularlos,
caracterizándolos de manera matemática (llevándolos a recrearlos en diagramas o tablas de transición).
El estudiante logrará identificar un Lenguaje que genera determinado autómata. Lo describirá, aplicando su sintaxis a cadenas válidas.
El estudiante llegará a interpretar Expresiones Regulares (ER) y comprende la precedencia de operadores y su significado.-
El diseñador de una máquina abstracta (Autómata de Pila y Máquinas de Turing), en este caso, el estudiante y todos los integrantes de los
grupos colaborativos del aula, deberán comprender el funcionamiento, identificar características y diseños computacionales de estos diseños
computacionales
El estudiante podrá clasificar determinado lenguaje dentro de una jerarquía que los diferencia y caracteriza. Así mismo podrá definir cuando
un autómata genera un determinado lenguaje. El estudiante comprenderá y asociará las aplicaciones de los autómatas llevados a contextos
reales y a problemas computacionales válidos.
3 CONTENIDOS DEL CURSO
Esquema del contenido del curso:
UNIDAD I.
Lenguajes
Regulares
CONTENIDOS DE
APRENDIZAJE
Referencias Bibliográficas Requeridas
1. Conceptos Básicos
• Introducción e Historia.
•Alfabetos, cadenas y lenguajes
•Autómatas y Lenguajes
•Lenguajes Regulares
•Caracterización de un Autómatas
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet:
http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTO
MATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
AMAYA C. 2014- Canal con LC Creative Commons. “Tras las huellas de Alan
Turing”. Disponible en internet: http://youtu.be/tO-WgRXKcAo.
AMAYA C. 2014- Canal con LC Creative Commons. “Descripción de Lenguaje,
Alfabeto y expresión regular.” Disponible en internet
http://www.veoh.com/watch/v616083236Thn5HJn / VeoH Chanel: Autor:
AMAYA, C. Disponible en internet. Con acceso Enero de 2014. LC Creative
Commons. http://www.veoh.com/watch/v616083236Thn5HJn
2.- Autómatas
Finitos
•Definición formal de autómatas
finitos
•Autómatas finitos
determinísticos (AFD)
•Autómatas finitos no determinísticos
(AFND)
•Autómatas finitos con
transiciones lambda
•Configuración segura de
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet:
http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUT
OMATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
AMAYA C. 2014- Canal con LC Creative Commons. “Construcción y diseño de
autómatas, Diagramas de Moore, tablas de transición.” Disponible en internet
http://youtu.be/3kWdHOLw-AQ / VeoH Chanel: Autor: AMAYA, C.
Disponible en internet. Con acceso Enero de 2014. LC Creative Commons.
http://www.veoh.com/watch/v6168933229Fx8G4A
AMAYA C. 2014- Canal con LC Creative Commons. “Lenguaje aceptado por un
Autómata. Tablas de transición y descripción de autómata finito.” Disponible en
internet: http://youtu.be/eWUfPJD9A_0 / VeoH Chanel: Autor: AMAYA, C.
Disponible en internet. Con acceso Enero de 2014. LC Creative Commons.
http://www.veoh.com/watch/v61683101FNRSfxSP
Language aceptado por un automata
finito.
3.-Expresiones
Regulares
•Lenguajes regulares y
expresiones regulares
•Significado de las expresiones
regulares
•Autómatas finitos y expresiones
regulares
•Equivalencia de AFD y de AFND
•Minimización de autómatas
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTOMATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
AMAYA C. 2014- Canal con LC Creative Commons. “Expresión Regular (ER) que
representa el lenguaje que puede aceptar un autómata.” Disponible en internet
http://youtu.be/z7vmzu9078Y / VeoH Chanel: Autor: AMAYA, C. Disponible en
internet. Con acceso Enero de 2014. LC Creative Commons.
http://www.veoh.com/watch/v61691189ZDE5K4wH
Referencias
bibliográficas
complementarias
Referencias Bibliográficas,
complemento al aprendizaje.
AMAYA C. 2014- Canal con LC Creative Commons. “Construcción, diseño e
interpretación de los componentes de un autómata (tuplas).” Disponible en internet
http://youtu.be/HF9-e28TWb0 / VeoH Chanel: Autor: AMAYA, C.
Disponible en internet. Con acceso Enero de 2014. LC Creative Commons.
http://www.veoh.com/watch/v61609207mprr4pFS
AMAYA C. 2014- Canal con LC Creative Commons. “Cuéntame una Historia –
Alan Turing” Disponible en internet http://youtu.be/01LBHqKrVvg
AMAYA C. 2014- Canal con LC Creative Commons. “Película que cuenta la
historia de un genio controvertido "Alan Turing". Con subtítulos en español.”
Disponible en internet http://youtu.be/uoKLtu2Am6k
AMAYA C. 2014- Canal con LC Creative Commons. “Lenguaje aceptado por un
Autómata (AF). Como se debe describir el lenguaje que representa.” Disponible en
internet: http://youtu.be/QdRlbzVsvLQ / VeoH Chanel: Autor: AMAYA, C.
Disponible en internet. Con acceso Enero de 2014. LC Creative Commons.
http://www.veoh.com/watch/v61610759jHdGRr59
MORAL, Serafín; Teoría de Autómatas y Lenguajes Formales, 2006. Universidad
de Granada: Departamento de ciencias de la computación. P 118.
UNIDAD II. Lenguajes
Independientes del
Contexto
CONTENIDOS DE
APRENDIZAJE
Referencias Bibliográficas Requeridas
4.-Concepetos
Generales
•Gramáticas regulares
•Leguajes libres de contexto y sus
máquinas.
•Arboles de derivación.
•Transformación de las GLC y
Formas normales.
•Limitaciones de los LLC
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTOMATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
BRENA, Ramón; Autómatas y Lenguajes, 2003. Tec de Monterey: Mexico. P
214.
AMAYA C. 2014- Canal con LC Creative Commons. “Autómatas y Gramáticas,
representación y descripción...” Disponible en internet: http://youtu.be/FcsxGEFF5RI
/ VeoH Chanel: Autor: AMAYA, C. Disponible en internet. Con acceso Enero de
2014. LC Creative Commons. http://www.veoh.com/watch/v61736035WqpFzqBM
5.-Autómatas de pila
(PDA)
•Definición de autómata de pila
•Funcionamiento de un autómata de
pila
•Diseño de un autómata de pila
•Funciones que se aplican sobre los
stacks (pilas)
•Combinación modular de los PDA
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet:
http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTO
MATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
Navarro, Gonzalo; Fundamentos de la Ciencia de la copulación, 2006.
Departamento de ciencias de la computación. Universidad de Chile. P 178.
6.-Propiedades de
Lenguajes
independientes de
contexto
•Lenguaje aceptado por un AP ó
PDA
•Relación entre los AP y los LLC.
•Propiedades de clausura de los LLC
•Algoritmos de decisión para los
LLC
•Problemas indecidibles
para los lenguajes libres de
contexto
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTOMATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
Cueva, Juan; Lenguajes, Gramáticas y Autómatas, 2001 . Departamento de
Informática. Universidad de Oviedo. P 106.
Referencias
bibliográficas
complementarias
Otras fuentes complementarias:
AMAYA C. 2014- Canal con LC Creative Commons. “Configuración, descripción.
Componentes de un PDA. PARTE 1” Disponible en internet:
http://youtu.be/q5G0WnL5JUA / VeoH Chanel: Autor: AMAYA, C. Disponible
en internet. Con acceso Enero de 2014. LC Creative Commons.
http://www.veoh.com/watch/v61736354aeFD3q7R
AMAYA C. 2014- Canal con LC Creative Commons. “Configuración, descripción.
Componentes de un PDA. PARTE 2” Disponible en internet:
http://youtu.be/yfXfKKZZl1g / VeoH Chanel: Autor: AMAYA, C. Disponible en
internet. Con acceso Enero de 2014. LC Creative Commons.
http://www.veoh.com/watch/v61736979F2m9HbgG
AMAYA C. 2014- Canal con LC Creative Commons. “Configuración, descripción.
Componentes de un PDA. PARTE 3” Disponible en internet:
http://youtu.be/1YdZpLloFb8 / VeoH Chanel: Autor: AMAYA, C. Disponible
en internet. Con acceso Enero de 2014. LC Creative Commons.
http://www.veoh.com/watch/v61737911GZHgFEnT
UNIDAD III.
Lenguajes Estructurados
por frases
CONTENIDOS DE
APRENDIZAJE
Referencias Bibliográficas Requeridas
7. Máquinas de Turing Formalización de las máquinas
de Turing
Funcionamiento de las
máquinas de Turing
Diferencias entre un
computador y una máquina de
Turing
La máquina universal de
Turing (MUT).
Lenguajes aceptados por la
máquina de Turing
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTOMATAS_Y
_LENGUAJES_FORMALES_301405_2015_1.pdf
AMAYA C. 2014- Canal con LC Creative Commons. “Construcción de Máquinas
de Turing (MT) PARTE 1” Disponible en internet: http://youtu.be/Sg3Q2Qm3IL0 /
VeoH Chanel: Autor: AMAYA, C. Disponible en internet. Con acceso Enero de
2014. LC Creative Commons. http://www.veoh.com/watch/v61738230cQreJHP3
AMAYA C. 2014- Canal con LC Creative Commons. “Construcción de Máquinas
de Turing (MT) PARTE 2” Disponible en internet: http://youtu.be/lb7h724tlFg /
VeoH Chanel: Autor: AMAYA, C. Disponible en internet. Con acceso Enero de
2014. LC Creative Commons. http://www.veoh.com/watch/v61738916pmGbXGyk
8. Máquinas de Turing y
Computación Tesis de Church/Turing
Variantes de una máquina de
Turing
Problemas de Hilbert
Problemas insolubles para la
teoría de lenguajes
Lenguajes decidibles
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTOMATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
Jurado Málaga, Elena; Teoría de Autómatas y Lenguajes Formales, 2008. Junta de
Extremadura. Unión Europea. Universidad de Extremadura. P 176
9. Funciones Recursivas Problemas de Halting
Decibilidad de teorías lógicas
Reducibilidad de Turing
Algoritmo de Trellis
Algoritmo de Viterbi
Amaya. C. Autómatas y lenguajes formales: 2015, 182p. Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTOMATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
AMAYA C. 2014- Canal con LC Creative Commons. “Código convolucional de
m=3 , K=1” Disponible en internet: http://youtu.be/Sg3Q2Qm3IL0 / Vimeo
Chanel: Autor: AMAYA, C. Disponible en internet. Con acceso Enero de 2014.
LC Creative Commons. https://vimeo.com/75887185
Referencias bibliográficas
complementarias
Otras fuentes complementarias: AMAYA C. 2014- Canal con LC Creative Commons. “Desarrollo de un código
convolucional – EJERCICIO PRÁCTICO” Disponible en internet:
http://youtu.be/eWkTdnDtiKo
4 ACTIVIDADES DE APRENDIZAJE
UNIDAD I.
Lenguajes
Regulares
MOMENT
O
1(Reconoci
miento)
Desarrollo y
Valoración en la
calidad de la
participación
y apropiación
del tema.
Conocimiento
de la historia e
identificación
del área de
conocimiento
De manera
individual, el
estudiante
medirá su
evolución y
apropiación de
la temática de
manera
autocrítica y
constructiva,
identificando en
que área de
conocimiento se
trabaja.
Apoyado en los
recursos de
audio y video
proporcionados
en el aula para
esta temática.
Mediante la
evaluación
(Reconocim
iento) se
miden y
proyectan
acciones
realizadas en
la formación
académica
de manera
valorativa y
autocrítica.
Lección evaluativa
introductoria
Dos semanas
(del 15 de
junio al 29 de
junio de
2015)
Tener puntos referentes de
autodesempeño,
autocontrol y de
proyección individual
como metas de trabajo
(Heteroevaluac
ión)
Evaluación de
6 preguntas de
única
respuesta.
5 %
Unidad Contenido de
Aprendizaje
Competencia Indicadores
de
desempeño
Estrategia de
Aprendizaje
N° de Sem Evaluación
Propósito
Criterios de
evaluación Pondera
ción
MOMENT
O 1.
(Actividad
momento 1)
Concept
os
Básicos
Expresi
ones
Regular
es.
Autómatas
Finitos
El estudiante se
apropiará del
conocimiento y
habilidades
técnicas para
identificar los
componentes de
un autómata y
llevarlos a una
simulación
básica
(diagramas de
estados).
Identifica
lenguajes,
alfabetos y
construye una
función de
transición.
El estudiante
puede
configurar un
escenario de
trabajo
simulado
para recrear
máquinas
abstractas
autómatas)
La estrategia usada
será la de
aprendizaje basada
en problemas: como
producto se
consolidará un trabajo
colaborativo (que será
construido en un e-
portafolio –wiki, o en
los espacios del foro
para esta actividad) que permita el debate e
identificar un lenguaje
aceptado por un
autómata.
.
Descargue en detalle de os ejercicios a desarrollar (guía):
:
http://datateca.unad.edu.
co/contenidos/301405/I
NTER_2015_8_3/MOM
ENTO1/Guia_2015_Inte
rsemestral_8-
3_Momento1_301405.pd
f
Dos (02)
semanas (del
15 de Junio al
30 de Junio
de 2015)
Facilitar la apropiación
de conocimientos para
que el estudiante pueda
adquirir los conceptos
que enmarcan el
desarrollo Autómatas y
lenguajes Formales.
Llevarlos a escenarios
reales de prueba y
aprendizaje para que se
contextualicen y ellos
mismos puedan medir
sus competencias.
El resultado de esta
estrategia será un informe
escrito (documento)
que como producto
permita evaluar la
Estrategia del aprendizaje
basado en problemas.
(Heteroevaluac
ión)
Los criterios
de evaluación
se encuentran
en la siguiente
rúbrica:
Descargue en
el siguiente
enlace la
rúbrica
integradora de
evaluación:
http://datateca
.unad.edu.co/
contenidos/30
1405/INTER_
2015_8_3/M
OMENTO1/R
UBRICA_DE
_EVALUACI
ON_2015_IN
TERSEMEST
RAL_8-
3_MOMENT
O_1_301405.
15 %
UNIDAD
II.
Lenguajes
Indepndie
ntes
del
contexto
MOMENTO
2 (Actividad
Momento 2)
Autómatas de
Pila.
Propiedades de
los lenguajes
independientes de
contexto.
El estudiante se
apropiará del
conocimiento y
habilidades
técnicas para
identificar los
componentes de
autómatas con
memoria
adicional (Push
Down
automaton).
PDA. Y los
lleva a una
simulación
básica
(diagramas de
estados).
Identifica
lenguajes,
alfabetos y
construye una
función de
transición.
El estudiante
puede
configurar un
escenario de
trabajo
simulado
para recrear
máquinas
abstractas
autómatas)
PDA.
Identifica las
propiedades
y que tipos
de lenguajes
se reconoce.
La estrategia usada
será la de
aprendizaje basada
en problemas: como
producto se
consolidará un trabajo
colaborativo (que será
construido en un e-
portafolio –wiki, o en
los espacios del foro
para esta actividad) que permita el debate e
identificar un lenguaje
aceptado por un
autómata. La
planeación de cada
ejercicio y el análisis
le permitirá proyectar
problemas más
complejos y
estructurados
.
Descargue en detalle de os ejercicios a desarrollar (guía):
http://datateca.unad.ed
u.co/contenidos/30140
5/INTER_2015_8_3/
MOMENTO2/Guia_2
015_Intersemestral_8-
3_Momento_2_30140
5.pdf
Dos (02)
semanas
(del 30 de
junio al 15
de julio de
2015)
Facilitar la apropiación
de conocimientos para
que el estudiante pueda
adquirir los conceptos
que enmarcan el
trabajo con máquinas
abstractas que manejen
memoria, simulando el
funcionamiento de un
computador. Llevarlos
a escenarios reales de
prueba y aprendizaje
para que se
contextualicen y ellos
mismos puedan medir
sus competencias.
El resultado de esta
estrategia será un informe
escrito (documento)
que como producto
permita evaluar la
Estrategia del aprendizaje
basado en problemas.
(Heteroevaluac
ión)
Los criterios
de evaluación
se encuentran
en la siguiente
rúbrica:
Descargue en
el siguiente
enlace la
rúbrica
integradora de
evaluación:
http://datateca.
unad.edu.co/co
ntenidos/30140
5/INTER_201
5_8_3/MOME
NTO2/RUBRI
CA_DE_EVA
LUACION_20
15_INTERSE
MESTRAL_8-
3_MOMENTO
_2_301405.pdf
15 %
MOMENTO 2
(Quiz1) Autómatas
Finitos (AF).
Autómatas
finitos
determinístico
s (AFD)
Autómatas
finitos no
determinístico
s (AFND.
Autómatas de
Pla.
Gramáticas.
Lenguajes
independientes
de contexto
De manera
individual, el
estudiante
caracterizará los
componentes de
un Autómata
Finito. AF,
idéntica el
lenguaje y lo
representa
mediante una
(Expresión
regular). ER.
Identifica
gramáticas y las
clasifica dentro
de la jerarquía
de Chomsky..
El estudiante
asocia
conceptos a
entornos de
simulación
mediante el
uso de
herramientas
de
simulación
para
autómatas,
lenguajes,
expresiones
regulares
Hace referencia al
aprendizaje basado
en problemas
usando la técnica
inmersiva en la que
la selección de
condiciones como el
Quiz que le
contextualiza de
manera objetiva y
concreta en la
Caracterización de
Autómatas
(identificación de
tuplas)
Tres (03)
semanas (del
30 de Junio al
22 de Julio de
2015)
Después de la
simulación y los
ejercicios en el aula, se
proyecta que el
estudiante refuerce los
conceptos teóricos
asociados a las
definiciones
matemáticas,
demostraciones y
teoremas propios de la
teoría de lenguajes y
autómatas.
(Heteroevaluac
ión)
La estructura
de la
evaluación
está dada por
la estructura
del quiz y el
tipo de
preguntas que
son de
selección
múltiple con
única
respuesta.
15%
UNIDAD
III.
Lenguajes
Estructura
dos por
frases.
MOMENTO 3
(Actividad
momento 3)
Máquinas de
Turing (MT)
Máquina
Universal e
Turing
(MUT)
Funciones
Recursivas
Algunas
aplicaciones de
los autómatas
(Codificación –
decodificación).
El estudiante se
apropiará del
conocimiento y
habilidades
técnicas para
identificar los
componentes de
una Máquina de
Turing. Y los
lleva a una
simulación
básica
(diagramas de
estados).
Identifica
lenguajes,
alfabetos y
construye una
función de
transición.
En codificación,
ejemplifica un
ejercicio para
ver el
comportamiento
de una Máquina
de Turing
El estudiante
puede
configurar un
escenario de
trabajo
simulado
para recrear
Máquinas de
Turing.
Identifica las
diferencias
entre una
máquina real
(computador
a) y una
Máquina
abstracta de
poder
computacion
al igual o
superior
(Máquinas de
Turing)..
La estrategia usada
será la de
aprendizaje basada
en problemas: como
producto se
consolidará un trabajo
colaborativo (que será
construido en un e-
portafolio –wiki, o en
los espacios del foro
para esta actividad) que permita el debate e
identificar el
comportamiento de
máquinas abstractas
(Máquinas de Turing).
.
Descargue en detalle de os ejercicios a desarrollar (guía):
http://datateca.unad.edu
.co/contenidos/301405/I
NTER_2015_8_3/MO
MENTO3/Guia_2015_I
ntersemestral_8_3_Mo
mento_3_301405.pdf
Dos (02)
semanas
(del 15 de
julio al 31
de Julio
de 2015)
Facilitar la apropiación
de conocimientos para
que el estudiante pueda
adquirir los conceptos
que enmarcan el
trabajo con máquinas
abstractas (MT) que
manejen memoria,
simulando el
funcionamiento de un
computador. Llevarlos
a escenarios reales de
prueba y aprendizaje
para que se
contextualicen y ellos
mismos puedan medir
sus competencias.
El resultado de esta
estrategia será un informe
escrito (documento)
que como producto
permita evaluar la
Estrategia del aprendizaje
basado en problemas.
(Heteroevaluac
ión)
Los criterios
de evaluación
se encuentran
en la siguiente
rúbrica:
Descargue en
el siguiente
enlace la
rúbrica
integradora de
evaluación:
http://datateca.
unad.edu.co/co
ntenidos/30140
5/INTER_201
5_8_3/MOME
NTO3/RUBRI
CA_DE_EVA
LUACION_20
15_Intersemest
ral_8_3_MOM
ENTO_3.pdf
15 %
MOMENTO 3
(Quiz2)
Autómatas
Finitos (AF).
Autómatas
finitos
determinístico
s (AFD)
Autómatas
finitos no
determinístico
s (AFND.
Autómatas de
Pla.
Gramáticas.
Lenguajes
independientes
de contexto
De manera
individual, el
estudiante
identificará
funciones
recursivas. Puede
identificar el
funcionamiento
de una MT y
llevarlas a un
contexto
asociado a la
aplicación de
sistemas como
los
decodificadores
usando máquinas
de estados.
El estudiante
asocia
conceptos a
entornos de
simulación
mediante el
uso de
herramientas
de
simulación
(diagramas
de estado)
para
autómatas,
lenguajes,
expresiones
regulares.
Hace referencia al
aprendizaje basado
en problemas
usando la técnica
inmersiva en la que
la selección de
condiciones como el
Quiz que le
contextualiza de
manera objetiva y
concreta en la
Caracterización,
aplicación e
identificación de
máquinas abstractas
(Autómatas )
Tres (03)
semanas (del
15 de Julio al
09 de Agosto
de 2015)
Después de la
simulación y los
ejercicios en el aula, se
proyecta que el
estudiante refuerce los
conceptos teóricos
asociados a las
definiciones
matemáticas,
demostraciones y
teoremas propios de la
teoría de lenguajes y
autómatas.
Aplicaciones propias
como las de
codificación y
decodificación.
(Heteroevaluac
ión)
La estructura
de la
evaluación
está dada por
la estructura
del quiz y el
tipo de
preguntas que
son de
selección
múltiple con
única
respuesta.
10%
Test
Coevaluación De manera
individual. el
estudiante
evaluará el
rendimiento y
apropiación
académica del
tema de sus
compañeros de
grupo
El estudiante
se ubica en
un entorno de
autotest que
mide su
apropiación
académica
del tema
La estrategia usada
es la de ubicar un
test Coevaluativo
(en el entorno de
Evaluación)
Semanas 7 y
8 (Dos
semanas)
El propósito está
orientado a que se
autocritiquen y
mejoren
constructivamente sus
competencias dado el
aprendizaje basado en
problemas de forma
constructiva y grupal
Una
Coevaluación 0 %
Test
Autoevaluació
n
De manera
individual. el
estudiante se
evaluará,
midiendo su
rendimiento y
apropiación
académica del
tema
El estudiante
se ubica en
un entorno de
autotest que
mide su
apropiación
académica
del tema
La estrategia usada
es la de ubicar un
test Autoevaluativo
(en el entorno de
Evaluación)
Semanas 7 y
8 (Dos
semanas)
El propósito está
orientado a que el
estudiante se evalúe
constructivamente en
sus competencias dado
el aprendizaje basado
en problemas de forma
constructiva y grupal
Una
Autoevaluaci
ón
0 %
EVALUA
CION
FINAL
PROYEC
TO
MOMENTO
4 (Actividad
momento 4)
Aplicaciones
de Autómatas.
Codificación y
Decodificació
n.
Algoritmo de
Trellis y
Viterbi.
El estudiante
identificará
aplicaciones
asociadas a la
automatización,
identificación de
lenguajes,
diagrama de
estados.
Aplicado a un
ejercicio básico
de codificación
y
decodificación.
El estudiante
crea un
escenario de
trabajo
(problema de
aplicación),
que aplica en
un ejercicio
8problema
de
codificación
y
decodificació
n) desarrollo
completo de
la forma
como con
diagramas de
estados se
pude corregir
errores en
transmisión
de daos.
La estrategia usada
hace referencia a un
trabajo grupal
(aprendizaje basado
en problemas) que
permita mediante un
caso específico
decodificación, asociar
el comportamiento de
un diagrama de estados
y los árboles de
derivación que
permitan codificar un
dato.
.
Descargue en detalle de os ejercicios a desarrollar (guía):
http://datateca.unad.ed
u.co/contenidos/30140
5/INTER_2015_8_3/
MOMENTO4/Guia_2
015_Intersemestral_8
_3_Momento_4_3014
05.pdf
Una (1)
semanas
que
requiere el
desarrollo
del
contenido
de
aprendizaj
e
Medir, caracterizar la
efectividad de un
algoritmo de detección
errores usando un
código convolucional.
Se aplica el concepto
de estados,
automatización de un
proceso de detección
de códigos no
redundantes.
Como producto y
resultado final: El
resultado de esta
estrategia será un informe
escritos (documento)
que como producto
permita evaluar la
Estrategia del aprendizaje
basado en problemas.
(Heteroevaluac
ión)
Los criterios
de evaluación
se encuentran
en la siguiente
rúbrica:
Descargue en
el siguiente
enlace la
rúbrica
integradora de
evaluación
http://datateca.u
nad.edu.co/cont
enidos/301405/I
NTER_2015_8_
3/MOMENTO4
/RUBRICA_DE
_EVALUACIO
N_2015_Interse
mestral_8_3_M
OMENTO_4.pd
f
25 %
5 ESTRUCTURA DE EVALUACIÓN DEL CURSO
Tipo de evaluación Ponderación1
Puntaje Máximo
Coevaluación Formativa 0
Heteroevaluación: Desarrollo y evaluación de unidades didácticas. Heteroevaluación
375 (75%)
Examen final. Actividad abierta de desarrollo individual. Heteroevaluación 125 (25%)
Total 500 (100%)