Sie sind auf Seite 1von 17

1 INFORMACIN GENERAL DEL CURSO

ESCUELA O UNIDAD:

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
SIGLA:

ECBTI

NIVEL:


Profesional
CAMPO DE FORMACIN:


Campo de Formacin Interdisciplinar Bsico Comn
Componente de Formacin Tecnolgica, Comunicacin y Lenguaje.
CURSO:

AUTOMATAS Y LENGUAJES FORMALES

CDIGO: 301405

TIPO DE CURSO:
Terico
N DE CRDITOS:
Tres (03) Crditos

N DE SEMANAS: 16 semanas de trabajo acadmico y 2 semanas de evaluacin.






CONOCIMIENTOS PREVIOS:


1. Teora de conjuntos: Conocimientos y apropiacin de las leyes de conjuntos,
propiedades y operaciones de conjuntos. Interpretacin de diagramas de ven,
asociaciones, reglas y funciones.
2. Algoritmos. Comprender el diseo lgico, funcional y objetivo de los algoritmos.
Enfoque al anlisis de compiladores y estructuras lgicas (sentencias numricas).
3. Grafos. Conocimientos previos en diagramas de ven, rboles de derivacin, tablas de
transicin.
4. Algebra. Matemticas discretas: rea de las matemticas encargadas del estudio de los
conjuntos discretos: finitos o infinitos numerables.

5. Lgica computacional: La misma lgica matemtica aplicada al contexto de las ciencias
de la computacin. Niveles especficos en la programacin lgica y en el anlisis y
optimizacin (de recursos temporales y espaciales) de algoritmos.
DIRECTOR DEL CURSO: Carlos Alberto Amaya Tarazona

FECHA DE ELABORACIN:
(Abril de 2014) Version (10.)






DESCRIPCIN DEL CURSO:
Autmatas y lenguajes formales es un curso de carcter terico, que se inscribe en el
campo de formacin profesional bsico del Programa de Ingeniera de Sistemas con un
valor acadmico de tres crditos.
La temtica aborda conceptos y mecanismos fundamentales para la definicin de
lenguajes (expresiones regulares, gramticas independientes del contexto y gramticas
generales), los tres tipos de mquinas correspondientes para su reconocimiento
(autmatas finitos, autmatas a pila y mquinas de Turing) y las propiedades
fundamentales de las familias de lenguajes por ellos definidas, tambin 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 programacin de alto y bajo
nivel para propiciar la distincin entre lenguajes formales con reglas sintcticas y
semnticas rgidas, concretas y bien definidas de los lenguajes naturales, como el ingls
o el espaol, donde la sintaxis y la semntica no se pueden controlar f cilmente.
Los intentos de formalizar los lenguajes naturales, lleva a la construccin de gramticas,
como una forma de describir estos lenguajes, utilizando para ello reglas de produccin
para construir las frases del lenguaje. En cuanto a la utilidad prctica de esta
asignatura, son importantes para la construccin de compiladores: Los lenguajes
regulares para la construccin de analizadores lxicos y los lenguajes independientes
del contexto para la construccin de analizadores sintcticos. La tercera Unidad
Didctica (Lenguajes estructurados por frases incluidas las mquinas de Turing)
son fundamentales para el estudio de la computabilidad y complejidad de problemas.






2 INTENCIONALIDADES FORMATIVAS



PROPSITO:
Facilitar la apropiacin de conocimientos para que el estudiante pueda Adquirir los conceptos bsicos de la teora de los lenguajes formales y la relacin
que existe con la teora de autmatas.
Lograr que el estudiante entienda el alto nivel de abstraccin de las mquinas secuenciales y los autmatas y que conozca los elementos y las
tcnicas necesarias para la construccin de las fases iniciales de un compilador.
Mediante el uso de simuladores, se puedan disear autmatas, pilas (PDA) y Mquinas de Turing para propsitos especficos, en los que se reconozca su
comportamiento, lenguaje que acepta y la forma de expresarlos matemticamente, asocindolo a contextos reales o escenarios reales que apliquen la
implementacin de estas mquinas abstractas.



COMPETENCIAS GENERALES DEL CURSO


El estudiante podr identificar los componentes computacionales de un autmata, tendr la capacidad de describirlos y formularlos,
caracterizndolos de manera matemtica (llevndolos a recrearlos en diagramas o tablas de transicin).

El estudiante lograr identificar un Lenguaje que genera determinado autmata. Lo describir, aplicando su sintaxis a cadenas vlidas.

El estudiante llegar a interpretar Expresiones Regulares (ER) y comprende la precedencia de operadores y su significado.-

Se propende por la comprensin en el funcionamiento de una mquina abstracta (Autmata de Pila y Mquinas de Turing). Identificar
caractersticas y diseos computacionales.

El estudiante podr clasificar determinado lenguaje dentro de una jerarqua que los diferencia y caracteriza. As mismo podr definir cuando
un autmata genera un determinado lenguaje. El estudiante comprender y asociar las aplicaciones de los autmatas llevados a contextos
reales y a problemas computacionales vlidos..










3 CONTENIDOS DEL CURSO



Esquema del contenido del curso:



UNIDAD I.
Lenguajes
Regulares


CONTENIDOS DE
APRENDIZAJE


Referencias Bibliogrficas Requeridas









1. Conceptos Bsicos




Introduccin e Historia.
Alfabetos, cadenas y lenguajes

Autmatas y Lenguajes

Lenguajes Regulares
Caracterizacin de un Autmatas
. Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p.
Disponible en internet:
http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.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. Descripcin de Lenguaje,
Alfabeto y expresin 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.- Autmatas
Finitos

Definicin formal de autmatas
finitos

Autmatas finitos
determinsticos (AFD)
Autmatas finitos no determinsticos
(AFND)

Autmatas finitos con
transiciones lambda
Configuracin segura de
Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p.
Disponible en internet:
http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf

AMAYA C. 2014- Canal con LC Creative Commons. Construccin y diseo de
autmatas, Diagramas de Moore, tablas de transicin. 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
Autmata. Tablas de transicin y descripcin de autmata 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

Autmatas finitos y expresiones
regulares

Equivalencia de AFD y de AFND

Minimizacin de autmatas
Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p. Disponible
en internet: http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf

AMAYA C. 2014- Canal con LC Creative Commons. Expresin Regular (ER) que
representa el lenguaje que puede aceptar un autmata. 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
bibliogrficas
complementarias



Referencias Bibliogrficas,
complemento al aprendizaje.
AMAYA C. 2014- Canal con LC Creative Commons. Construccin, diseo e
interpretacin de los componentes de un autmata (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. Cuntame una Historia
Alan Turing Disponible en internet http://youtu.be/01LBHqKrVvg
AMAYA C. 2014- Canal con LC Creative Commons. Pelcula que cuenta la
historia de un genio controvertido "Alan Turing". Con subttulos en espaol.
Disponible en internet http://youtu.be/uoKLtu2Am6k

AMAYA C. 2014- Canal con LC Creative Commons. Lenguaje aceptado por un
Autmata (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, Serafn; Teora de Autmatas y Lenguajes Formales, 2006 . Universidad
de Granada: Departamento de ciencias de la computacin. P 118.





UNIDAD II. Lenguajes
Independientes del
Contexto


CONTENIDOS DE
APRENDIZAJE


Referencias Bibliogrficas Requeridas

4.-Concepetos
Generales
Gramticas regulares
Leguajes libres de contexto y sus
mquinas.

Arboles de derivacin.
Transformacin de las GLC y
Formas normales.
Limitaciones de los LLC
Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p. Disponible
en internet: http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf
BRENA, Ramn; Autmatas y Lenguajes, 2003 . Tec de Monterey: Mexico. P
214.

AMAYA C. 2014- Canal con LC Creative Commons. Autmatas y Gramticas,
representacin y descripcin.. 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.-Autmatas de pila
(PDA)
Definicin de autmata de pila

Funcionamiento de un autmata de
pila

Diseo de un autmata de pila

Funciones que se aplican sobre los
stacks (pilas)

Combinacin modular de los PDA

Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p. Disponible
en internet: http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf


Navarro, Gonzalo; Fundamentos de la Ciencia de la copulacin, 2006 .
Departamento de ciencias de la computacin. Universidad de Chile. P 178.







6.-Propiedades de
Lenguajes
independientes de
contexto



Lenguaje aceptado por un AP
PDA
Relacin entre los AP y los LLC.
Propiedades de clausura de los LLC

Algoritmos de decisin para los
LLC

Problemas indecidibles
para los lenguajes libres de
contexto
Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p. Disponible
en internet: http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf
Cueva, Juan; Lenguajes, Gramticas y Autmatas, 2001 . Departamento de
Informtica. Universidad de Oviedo. P 106.





Referencias
bibliogrficas
complementarias






Otras fuentes complementarias:
AMAYA C. 2014- Canal con LC Creative Commons. Configuracin, descripcin.
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. Configuracin, descripcin.
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. Configuracin, descripcin.
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 Bibliogrficas Requeridas
7. Mquinas de Turing Formalizacin de las mquinas
de Turing
Funcionamiento de las
mquinas de Turing
Diferencias entre un
computador y una mquina de
Turing
La mquina universal de
Turing (MUT).
Lenguajes aceptados por la
mquina de Turing
Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p.
Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf

AMAYA C. 2014- Canal con LC Creative Commons. Construccin de Mquinas
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. Construccin de Mquinas
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. Mquinas de Turing y
Computacin
Tesis de Church/Turing
Variantes de una mquina de
Turing
Problemas de Hilbert
Problemas insolubles para la
teora de lenguajes
Lenguajes decidibles

Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p.
Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf

Jurado Mlaga, Elena; Teora de Autmatas y Lenguajes Formales, 2008. Junta de
Extremadura. Unin Europea. Universidad de Extremadura. P 176
9. Funciones Recursivas Problemas de Halting
Decibilidad de teoras lgicas
Reducibilidad de Turing
Algoritmo de Trellis
Algoritmo de Viterbi

Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD, 2014, 182p.
Disponible en internet: http://datateca.unad.edu.co/contenidos/301405/2014-
2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf

AMAYA C. 2014- Canal con LC Creative Commons. Cdigo 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 bibliogrficas
complementarias
Otras fuentes complementarias: AMAYA C. 2014- Canal con LC Creative Commons. Desarrollo de un cdigo
convolucional EJERCICIO PRCTICO Disponible en internet:
http://youtu.be/eWkTdnDtiKo
4 ACTIVIDADES DE APRENDIZAJE
UNIDAD I.

MOMENT
O
1(Activida
d inicial de
reconocimi
ento)
Reconoci
miento
del aula.
Identifica
cin de
contenido
s y de
entorno
de trabajo
El estudiante
identifica el
tipo de
mediacin y
desarrollo de
trabajo. Ubica
los entornos de
trabajo en el
aula.
Caracteriza el
tipo de
actividades a
desarrollar.
Mediante un
trabajo
individual
(presentacin
de pase de
diapositivas),
el estudiante
identifica las
actividades
de trabajo
evaluativas y
la estructura
del aula
Reconocimiento del
aula y de actividades.
Consolidacin de
informe de manera
individual
Dos semanas El estudiante
caracterizar y medir
que tipo de actividades se
realizarn la ubicacin
en el aula. De igual forma
reconocer las
caractersticas del curso.
Trabajo
individual, pase
de diapositivas
con el
desarrollo.
Presentado en
un foro en el
entorno de
aprendizaje
colaborativo
2%
UNIDAD I.
Lenguajes
Regulares

MOMENT
O
1(Actividad
inicial de
reconocimie
nto)

Desarrollo y
Valoracin en la
calidad de la
participacin
y apropiacin
del tema.
Conocimiento
de la historia e
identificacin
del rea de
conocimiento
El estudiante
medir su
evolucin y
apropiacin de
la temtica de
manera
autocrtica y
constructiva,
identificando en
que rea de
conocimiento se
trabaja.
Apoyado en los
recursos de
audio y video
proporcionados
en el aula para
esta temtica.
Mediante la
evaluacin
se miden y
proyectan
acciones
realizadas en
la formacin
acadmica
de manera
valorativa y
autocrtica.
Leccin evaluativa
introductoria

Durante todo
el desarrollo
de la primera
fase













Tener puntos referentes de
autodesempeo,
autocontrol y de
proyeccin individual
como metas de trabajo

Evaluacin de
6 preguntas de
nica
respuesta.
5 %
Unidad Contenido de

Aprendizaje
Competencia Indicadores
de
desempeo
Estrategia de

Aprendizaje
N de Sem Evaluacin
Propsito
Criterios de
evaluacin
Pondera
cin


MOMENT
O 1.
(Actividad
inicial.
Reconocimi
ento del
curso y de
la temtica)
Concept
os
Bsicos

Expresi
ones
Regular
es.

Autmatas
Finitos
El estudiante se
apropiar del
conocimiento y
habilidades
tcnicas para
identificar los
componentes de
un autmata y
llevarlos a una
simulacin
bsica
(diagramas de
estados).
Identifica
lenguajes,
alfabetos y
construye una
funcin de
transicin.
El estudiante
puede
configurar un
escenario de
trabajo
simulado
para recrear
mquinas
abstractas
autmatas)
La estrategia usada
ser la de
aprendizaje basada
en problemas que
usar la Tcnica
Colaborativa: como
producto se
consolidar un trabajo
colaborativo (que
puede ser construido
en un e-portafolio
wiki) que permita el
debate e identificar un
lenguaje aceptado por
un autmata.

. Descargue en el
siguiente enlace la gua
de actividad:

http://datateca.unad.edu.
co/contenidos/301405/20
14-
2_AVA/Guia_Integrador
a_301405.pdf
Siete (07)
semanas que
requiere el
desarrollo del
contenido de
aprendizaje
Facilitar la apropiacin
de conocimientos para
que el estudiante pueda
adquirir los conceptos
que enmarcan el
desarrollo Autmatas 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 proyectos.

Los criterios
de evaluacin
se encuentran
en la siguiente
rbrica:


Descargue en
el siguiente
enlace la
rbrica de
evaluacin:

http://datateca
.unad.edu.co/
contenidos/30
1405/2014-
2_AVA/RUB
RICA_DE_E
VALUACIO
N.pdf
13 %













UNIDAD
II.
Lenguajes
Indepndie
ntes
del
contexto

MOMENT
O 2
(Actividad
intermedia

Planeacin)

Autmatas de
Pila.


Propiedades de
los lenguajes
independientes de
contexto.
El estudiante se
apropiar del
conocimiento y
habilidades
tcnicas para
identificar los
componentes de
autmatas con
memoria
adicional (Push
Down
automaton).
PDA. Y los
lleva a una
simulacin
bsica
(diagramas de
estados).
Identifica
lenguajes,
alfabetos y
construye una
funcin de
transicin.
El estudiante
puede
configurar un
escenario de
trabajo
simulado
para recrear
mquinas
abstractas
autmatas)
PDA.
Identifica las
propiedades
y que tipos
de lenguajes
se reconoce.
La estrategia usada
ser la de
aprendizaje basada
en problemas que
usar la Tcnica
Colaborativa: como
producto a entregar se
consolidar un trabajo
colaborativo (que
puede ser construido
en un e-portafolio
wiki) que permita el
debate e identificar un
lenguaje aceptado por
un autmata. La
planeacin de cada
ejercicio y el anlisis
le permitir proyectar
problemas ms
complejos y
estructurados

. Descargue en el
siguiente enlace la gua
de actividad:
http://datateca.unad.edu
.co/contenidos/301405/
2014-
2_AVA/Guia_Integrado
ra_301405.pdf














Siete (07)
semanas
que
requiere el
desarrollo
del
contenido
de
aprendizaj
e
Facilitar la apropiacin
de conocimientos para
que el estudiante pueda
adquirir los conceptos
que enmarcan el
trabajo con mquinas
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.

Los criterios
de evaluacin
se encuentran
en la siguiente
rbrica:


Descargue en
el siguiente
enlace la
rbrica de
evaluacin:

http://datateca.
unad.edu.co/co
ntenidos/30140
5/2014-
2_AVA/RUBR
ICA_DE_EVA
LUACION.pdf

15 %

MOMENTO 2
(Actividad
intermedia
Planeacin)
Autmatas
Finitos (AF).
Autmatas
finitos
determinstico
s (AFD)
Autmatas
finitos no
determinstico
s (AFND.
Autmatas de
Pla.
Gramticas.
Lenguajes
independientes
de contexto
El estudiante
caracterizar los
componentes de
un Autmata
Finito. AF,
idntica el
lenguaje y lo
representa
mediante una
(Expresin
regular). ER.
Identifica
gramticas y las
clasifica dentro
de la jerarqua
de Chomsky..
El estudiante
asocia
conceptos a
entornos de
simulacin
mediante el
uso de
herramientas
de
simulacin
para
autmatas,
lenguajes,
expresiones
regulares
Hace referencia al
aprendizaje basado
en problemas
usando la tcnica
inmersiva en la que
la seleccin de
condiciones como el
Quiz que le
contextualiza de
manera objetiva y
concreta en la
Caracterizacin de
Autmatas
(identificacin de
tuplas)
Dos (02)
semanas que
requiere el
desarrollo del
contenido de
aprendizaje
Despus de la
simulacin y los
ejercicios en el aula, se
proyecta que el
estudiante refuerce los
conceptos tericos
asociados a las
definiciones
matemticas,
demostraciones y
teoremas propios de la
teora de lenguajes y
autmatas.
La estructura
de la
evaluacin
est dada por
la estructura
del quiz y el
tipo de
preguntas que
son de
seleccin
mltiple con
nica
respuesta.
15%

UNIDAD
III.
Lenguajes
Estructura
dos por
frases.

MOMENT
O 3
(Actividad
final
anlisis de
informacin
y solucin)

Mquinas de
Turing (MT)

Mquina
Universal e
Turing
(MUT)

Funciones
Recursivas

Algunas
aplicaciones de
los autmatas
(Codificacin
decodificacin).


El estudiante se
apropiar del
conocimiento y
habilidades
tcnicas para
identificar los
componentes de
una Mquina de
Turing. Y los
lleva a una
simulacin
bsica
(diagramas de
estados).
Identifica
lenguajes,
alfabetos y
construye una
funcin de
transicin.

En codificacin,
ejemplifica un
ejercicio para
ver el
comportamiento
de una Mquina
de Turing
El estudiante
puede
configurar un
escenario de
trabajo
simulado
para recrear
Mquinas de
Turing.
Identifica las
diferencias
entre una
mquina real
(computador
a) y una
Mquina
abstracta de
poder
computacion
al igual o
superior
(Mquinas de
Turing)..
La estrategia usada
ser la de
aprendizaje basada
en problemas que
usar la Tcnica
Colaborativa: como
un trabajo colaborativo
(que puede ser
construido en un e-
portafolio wiki) que
permita el debate e
identificar el
comportamiento de
mquinas abstractas
(Mquinas de Turing).

. Descargue en el
siguiente enlace la gua
de actividad:
http://datateca.unad.edu
.co/contenidos/301405/
2014-
2_AVA/Guia_Integrado
ra_301405.pdf














Siete (07)
semanas
que
requiere el
desarrollo
del
contenido
de
aprendizaj
e
Facilitar la apropiacin
de conocimientos para
que el estudiante pueda
adquirir los conceptos
que enmarcan el
trabajo con mquinas
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.

Los criterios
de evaluacin
se encuentran
en la siguiente
rbrica:


Descargue en
el siguiente
enlace la
rbrica de
evaluacin:

http://datateca.
unad.edu.co/co
ntenidos/30140
5/2014-
2_AVA/RUBR
ICA_DE_EVA
LUACION.pdf
15 %
MOMENTO 3
(Actividad
final anlisis
de
informacin y
solucin)
Autmatas
Finitos (AF).
Autmatas
finitos
determinstico
s (AFD)
Autmatas
finitos no
determinstico
s (AFND.
Autmatas de
Pla.
Gramticas.
Lenguajes
independientes
de contexto
El estudiante
identificar
funciones
recursivas. Puede
identificar el
funcionamiento
de una MT y
llevarlas a un
contexto
asociado a la
aplicacin de
sistemas como
los
decodificadores
usando mquinas
de estados.
El estudiante
asocia
conceptos a
entornos de
simulacin
mediante el
uso de
herramientas
de
simulacin
(diagramas
de estado)
para
autmatas,
lenguajes,
expresiones
regulares.

Hace referencia al
aprendizaje basado
en problemas
usando la tcnica
inmersiva en la que
la seleccin de
condiciones como el
Quiz que le
contextualiza de
manera objetiva y
concreta en la
Caracterizacin,
aplicacin e
identificacin de
mquinas abstractas
(Autmatas )
Dos (02)
semanas que
requiere el
desarrollo del
contenido de
aprendizaje
Despus de la
simulacin y los
ejercicios en el aula, se
proyecta que el
estudiante refuerce los
conceptos tericos
asociados a las
definiciones
matemticas,
demostraciones y
teoremas propios de la
teora de lenguajes y
autmatas.
Aplicaciones propias
como las de
codificacin y
decodificacin.
La estructura
de la
evaluacin
est dada por
la estructura
del quiz y el
tipo de
preguntas que
son de
seleccin
mltiple con
nica
respuesta.
10%

Test
Coevaluacin
El estudiante
evalar el
rendimiento y
apropiacin
acadmica del
tema de sus
compaeros de
grupo
El estudiante
se ubica en
un entorno de
autotest que
mide su
apropiacin
acadmica
del tema
La estrategia usada
es la de ubicar un
test Coevaluativo
(en el entorno de
Evaluacin)
Semanas 17 y
18 (Dos
semanas)
El propsito est
orientado a que se
autocritiquen y
mejoren
constructivamente sus
competencias dado el
aprendizaje basado en
problemas de forma
constructiva y grupal
Una
Coevaluacin
0 %






EVALUA
CION
FINAL
PROYEC
TO

MOMENT
O 3
(Actividad
final
anlisis de
informaci
n y
solucin)






Aplicaciones
de Autmatas.
Codificacin y
Decodificaci
n.

Algoritmo de
Trellis y
Viterbi.
El estudiante
identificar
aplicaciones
asociadas a la
automatizacin,
identificacin de
lenguajes,
diagrama de
estados.
Aplicado aun
ejercicio bsico
de codificacin
y
decodificacin.


El estudiante
crea un
escenario de
trabajo
(problema de
aplicacin),
que aplica en
un ejercicio
8problema
de
codificacin
y
decodificaci
n) desarrollo
completo de
la forma
como con
diagramas de
estados se
pude corregir
errores en
transmisin
de daos.
La estrategia usada
hace referencia a un
trabajo individual
(aprendizaje basado
en problemas) que
permita mediante un
caso especfico
decodificacin, asociar
el comportamiento de
un diagrama de estados
y los rboles de
derivacin que
permitan codificar un
dato.
.

Descargue en el
siguiente enlace la gua
de actividad:
http://datateca.unad.ed
u.co/contenidos/30140
5/2014-
2_AVA/Guia_Integra
dora_301405.pdf













Dos (02)
semanas
que
requiere el
desarrollo
del
contenido
de
aprendizaj
e
Medir, caracterizar la
efectividad de un
algoritmo de deteccin
errores usando un
cdigo convolucional.
Se aplica el concepto
de estados,
automatizacin de un
proceso de deteccin
de cdigos 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.

Los criterios
de evaluacin
se encuentran
en la siguiente
rbrica:


Descargue en
el siguiente
enlace la
rbrica de
evaluacin

http://datateca.u
nad.edu.co/cont
enidos/301405/
2014-
2_AVA/RUBRI
CA_DE_EVAL
UACION.pdf
25 %


5 ESTRUCTURA DE EVALUACIN DEL CURSO



Tipo de evaluacin Ponderacin
1


Puntaje Mximo
Coevaluacin Formativa 0
Heteroevaluacin: Desarrollo y evaluacin de unidades didcticas.

Heteroevaluacin

375 (75%)
Examen final. Actividad abierta de desarrollo individual.
Heteroevaluacin

125 (25%)
Total

500 (100%)

Das könnte Ihnen auch gefallen