Está en la página 1de 17

1 INFORMACIN GENERAL DEL CURSO

ESCUELA O UNIDAD:

SIGLA:

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

ECBTI

NIVEL:
CAMPO DE FORMACIN:

CURSO:
AUTOMATAS Y LENGUAJES FORMALES
TIPO DE CURSO:
N DE CRDITOS:
Tres (03) Crditos

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

CDIGO: 301405

Terico

N DE SEMANAS: 8 semanas de trabajo acadmico. (Para Intersemestral 8_3 de 2015)


1.

Teora de conjuntos: Conocimientos y apropiacin de las leyes de conjuntos,


propiedades y operaciones de conjuntos. Interpretacin de diagramas de venn,
asociaciones, reglas y funciones.

CONOCIMIENTOS PREVIOS:

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:


FECHA DE ELABORACIN:

Carlos Alberto Amaya Tarazona


(Mayo de 2015) Versin (4.0.)
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.

DESCRIPCIN DEL CURSO:

La temtica aborda conceptos y mecanismos fundamentales para la definici n 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 pued en controlar fcilmente.
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
asignatura,

cuanto a

la

utilidad

prctica

de esta

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:
El estudiante, haciendo uso de los materiales acadmicos ofrecidos en el aula, con el acompaamiento docente y aplicando la estrategia acadmica (ABP),
se apropiar de conocimientos que le permitan adquirir los conceptos bsicos de la teora de los lenguajes formales y la relacin que existe con la teora de
autmatas.
Se comprenda 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.
Hacer uso de simuladores para 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 deber 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.-

El diseador de una mquina abstracta (Autmata de Pila y Mquinas de Turing), en este caso, el estudiante y todos los integrantes de los
grupos colaborativos del aula, debern comprender el funcionamiento, identificar caractersticas y diseos computacionales de estos 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.

CONTENIDOS DEL CURSO

Esquema del contenido del curso:

UNIDAD I.
Lenguajes

CONTENIDOS DE

Regulares

APRENDIZAJE

Referencias Bibliogrficas Requeridas

Amaya. C. Autmatas y lenguajes formales: 2015, 182p. Disponible en internet:

http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTO
Introduccin e Historia.
Alfabetos, cadenas y lenguajes
Autmatas y Lenguajes
1. Conceptos Bsicos

Lenguajes Regulares
Caracterizacin de un Autmatas

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. 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
Definicin formal de autmatas
finitos
2.- Autmatas
Finitos

Autmatas finitos

Amaya. C. Autmatas 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

determinsticos (AFD)

AMAYA C. 2014- Canal con LC Creative Commons. Construccin y diseo de


Autmatas finitos no determinsticos autmatas, Diagramas de Moore, tablas de transicin. Disponible en internet
(AFND)
http://youtu.be/3kWdHOLw-AQ / VeoH Chanel: Autor: AMAYA, C.
Autmatas finitos con
Disponible en internet. Con acceso Enero de 2014. LC Creative Commons.
transiciones lambda
http://www.veoh.com/watch/v6168933229Fx8G4A
Configuracin segura de

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.
Lenguajes regulares y

3.-Expresiones
Regulares

Amaya. C. Autmatas y lenguajes formales: 2015, 182p. Disponible en internet:

expresiones regulares

http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTO
MATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf

Significado de las expresiones


regulares

AMAYA C. 2014- Canal con LC Creative Commons. Expresin Regular (ER) que

Autmatas finitos y expresiones


regulares
Equivalencia de AFD y de AFND
Minimizacin de autmatas

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
AMAYA C. 2014- Canal con LC Creative Commons. Construccin, diseo e

Referencias
bibliogrficas
complementarias

interpretacin de los componentes de un autmata (tuplas). Disponible en internet


Referencias

Bibliogrficas,

complemento al aprendizaje.

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

CONTENIDOS DE

Contexto

APRENDIZAJE

4.-Concepetos
Generales

Gramticas regulares
Leguajes libres de contexto y sus
mquinas.

Referencias Bibliogrficas Requeridas

Amaya. C. Autmatas 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

Arboles de derivacin.

BRENA, Ramn; Autmatas y Lenguajes, 2003. Tec de Monterey: Mexico. P

Transformacin de las GLC y

214.

Formas normales.
Limitaciones de los LLC

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

Definicin de autmata de pila

5.-Autmatas de pila
(PDA)

Amaya. C. Autmatas y lenguajes formales: 2015, 182p. Disponible en internet:

Funcionamiento de un autmata de
pila

http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTO

Diseo de un autmata de pila

MATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf

Funciones que se aplican sobre los


stacks (pilas)
Combinacin modular de los PDA

Navarro, Gonzalo; Fundamentos de la Ciencia de la copulacin, 2006.


Departamento de ciencias de la computacin. Universidad de Chile. P 178.

Amaya. C. Autmatas y lenguajes formales: 2015, 182p. Disponible en internet:


Lenguaje aceptado por un AP

http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTO
MATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf

PDA
6.-Propiedades de

Relacin entre los AP y los LLC.

Cueva, Juan; Lenguajes, Gramticas y Autmatas, 2001 . Departamento de

Lenguajes

Propiedades de clausura de los LLC

Informtica. Universidad de Oviedo. P 106.

independientes de

Algoritmos de decisin para los


LLC

contexto

Problemas indecidibles
para los lenguajes libres de
contexto

AMAYA C. 2014- Canal con LC Creative Commons. Configuracin, descripcin.


Componentes de un PDA. PARTE 1 Disponible en internet:
http://youtu.be/q5G0WnL5JUA

Referencias
bibliogrficas
complementarias

Otras fuentes complementarias:

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.

CONTENIDOS DE

Lenguajes Estructurados

APRENDIZAJE

Referencias Bibliogrficas Requeridas

por frases

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. Autmatas 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. 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

9. Funciones Recursivas

Tesis de Church/Turing
Variantes de una mquina de
Turing
Problemas de Hilbert
Problemas insolubles para la
teora de lenguajes
Lenguajes decidibles

Amaya. C. Autmatas y lenguajes formales: 2015, 182p. Disponible en internet:

Amaya. C. Autmatas y lenguajes formales: 2015, 182p. Disponible en internet:

Problemas de Halting
Decibilidad de teoras lgicas
Reducibilidad de Turing
Algoritmo de Trellis
Algoritmo de Viterbi

http://datateca.unad.edu.co/contenidos/301405/2015_1/MODULO/AUTO
MATAS_Y_LENGUAJES_FORMALES_301405_2015_1.pdf
Jurado Mlaga, Elena; Teora de Autmatas y Lenguajes Formales, 2008. Junta de
Extremadura. Unin Europea. Universidad de Extremadura. P 176

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. 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

Contenido de

Competencia

Aprendizaje

Indicadores

Estrategia de

de

Aprendizaje

N de Sem

Evaluacin
Propsito

Criterios de
evaluacin

Pondera
cin

desempeo

UNIDAD I.
Lenguajes
Regulares

MOMENT
O
1(Reconoci
miento)

Desarrollo y
Valoracin en la
calidad de la
participacin
y apropiacin
del tema.
Conocimiento
de la historia e
identificacin
del rea de
conocimiento

De manera
individual, 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
(Reconocim
iento) se
miden y
proyectan
acciones
realizadas en
la formacin
acadmica
de manera
valorativa y
autocrtica.

Leccin evaluativa
introductoria

Dos semanas
(del 15 de
junio al 29 de
junio de
2015)

Tener puntos referentes de


autodesempeo,
autocontrol y de
proyeccin individual
como metas de trabajo

(Heteroevaluac
in)
Evaluacin de
6 preguntas de
nica
respuesta.

5%

MOMENT
O 1.

Concept
os
Bsicos

(Actividad
momento 1)

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: como
producto se
consolidar un trabajo
colaborativo (que ser
construido en un eportafolio wiki, o en
los espacios del foro
para esta actividad)
que permita el debate e
identificar un lenguaje
aceptado por un
autmata.

Dos (02)
semanas (del
15 de Junio al
30 de Junio
de 2015)

.
Descargue en detalle de
os ejercicios a desarrollar
(gua):
:
http://datateca.unad.edu.
co/contenidos/301405/I
NTER_2015_8_3/MOM
ENTO1/Guia_2015_Inte
rsemestral_83_Momento1_301405.pd
f

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 problemas.

(Heteroevaluac
in)
Los criterios
de evaluacin
se encuentran
en la siguiente
rbrica:
Descargue en
el siguiente
enlace la
rbrica
integradora de
evaluacin:
http://datateca
.unad.edu.co/
contenidos/30
1405/INTER_
2015_8_3/M
OMENTO1/R
UBRICA_DE
_EVALUACI
ON_2015_IN
TERSEMEST
RAL_83_MOMENT
O_1_301405.
pdf

15 %

UNIDAD
II.
Lenguajes
Indepndie
ntes
del
contexto

MOMENTO
2 (Actividad
Momento 2)

El estudiante se
apropiar del
conocimiento y
habilidades
tcnicas para
Propiedades de
identificar los
los lenguajes
componentes de
independientes de autmatas con
contexto.
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.
Autmatas de
Pila.

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: como
producto se
consolidar un trabajo
colaborativo (que ser
construido en un eportafolio wiki, o en
los espacios del foro
para esta actividad)
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 detalle de
os ejercicios a desarrollar
(gua):
http://datateca.unad.ed
u.co/contenidos/30140
5/INTER_2015_8_3/
MOMENTO2/Guia_2
015_Intersemestral_83_Momento_2_30140
5.pdf

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
Dos (02)
sus competencias.
semanas
El
resultado de esta
(del 30 de
estrategia
ser un informe
junio al 15
escrito
(documento)
de julio de
que como producto
2015)
permita evaluar la
Estrategia del aprendizaje
basado en problemas.

(Heteroevaluac
in)
Los criterios
de evaluacin
se encuentran
en la siguiente
rbrica:
Descargue en
el siguiente
enlace la
rbrica
integradora de
evaluacin:
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_83_MOMENTO
_2_301405.pdf

15 %

MOMENTO 2 Autmatas
(Quiz1)
Finitos (AF).

De manera
individual, el
Autmatas
estudiante
finitos
caracterizar los
determinstico componentes de
s (AFD)
un Autmata
Autmatas
Finito. AF,
finitos no
idntica el
determinstico lenguaje y lo
s (AFND.
representa
Autmatas de mediante una
Pla.
(Expresin
Gramticas.
regular). ER.
Lenguajes
Identifica
independientes gramticas y las
de contexto
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)

Tres (03)
Despus de la
semanas (del
simulacin y los
30 de Junio al ejercicios en el aula, se
22 de Julio de
proyecta que el
2015)
estudiante refuerce los
conceptos tericos
asociados a las
definiciones
matemticas,
demostraciones y
teoremas propios de la
teora de lenguajes y
autmatas.

(Heteroevaluac
in)
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

Mquinas de
Turing (MT)
Mquina
Universal e
Turing
(MUT)

frases.
Funciones
Recursivas
MOMENTO 3 Algunas
aplicaciones de
(Actividad
momento 3)

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
La estrategia usada
puede
ser la de
configurar un
aprendizaje basada
escenario de
en problemas: como
trabajo
producto se
simulado
consolidar un trabajo
colaborativo (que ser
para recrear
Mquinas de
construido en un eTuring.
portafolio wiki, o en
Identifica las
los espacios del foro
diferencias
para esta actividad)
que permita el debate e
entre una
identificar el
mquina real
comportamiento de
(computador
mquinas abstractas
a) y una
(Mquinas de Turing).
Mquina
abstracta de
poder
.
computacion
Descargue en detalle de
al igual o
os ejercicios a desarrollar
superior
(gua):
(Mquinas de
Turing)..
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

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
Dos (02)
mismos puedan medir
semanas
(del 15 de sus competencias.
julio al 31 El resultado de esta
de Julio estrategia ser un informe
de 2015) escrito (documento)
que como producto
permita evaluar la
Estrategia del aprendizaje
basado en problemas.

(Heteroevaluac
in)
Los criterios
de evaluacin
se encuentran
en la siguiente
rbrica:
Descargue en
el siguiente
enlace la
rbrica
integradora de
evaluacin:
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 Autmatas
(Quiz2)
Finitos (AF).

De manera
individual, el
Autmatas
estudiante
finitos
identificar
determinstico funciones
s (AFD)
recursivas. Puede
Autmatas
identificar el
finitos no
funcionamiento
determinstico de una MT y
s (AFND.
llevarlas a un
Autmatas de contexto
Pla.
asociado a la
Gramticas.
aplicacin de
Lenguajes
sistemas como
independientes los
de contexto
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 )

Tres (03)
semanas (del
15 de Julio al
09 de Agosto
de 2015)

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.

(Heteroevaluac
in)

Test
Coevaluacin

De manera
individual. el
estudiante
evaluar 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 7 y
8 (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%

Test
Autoevaluaci
n

De manera
individual. el
estudiante se
evaluar,
midiendo su
rendimiento y
apropiacin
acadmica del
tema

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 Autoevaluativo
(en el entorno de
Evaluacin)

Semanas 7 y
8 (Dos
semanas)

El propsito est
orientado a que el
estudiante se evale
constructivamente en
sus competencias dado
el aprendizaje basado
en problemas de forma
constructiva y grupal

Una
Autoevaluaci
n

0%

10%

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.

El estudiante
identificar
CION
aplicaciones
asociadas a la
FINAL
automatizacin,
PROYEC
identificacin de
Aplicaciones
lenguajes,
TO
de Autmatas. diagrama de
Codificacin y estados.
Decodificaci Aplicado a un
MOMENTO n.
ejercicio bsico
de codificacin
4 (Actividad
Algoritmo de
y
momento 4) Trellis y
decodificacin.
Viterbi.
EVALUA

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 grupal
(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 detalle de
os ejercicios a desarrollar
(gua):
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

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.

Una (1)
semanas
que
requiere el
desarrollo
del
contenido
de
aprendizaj
e

(Heteroevaluac
in)
Los criterios
de evaluacin
se encuentran
en la siguiente
rbrica:

Descargue en
el siguiente
enlace la
Como producto y
rbrica
resultado final: El
integradora de
resultado de esta
estrategia ser un informe evaluacin
escritos (documento)
http://datateca.u
que como producto
nad.edu.co/cont
permita evaluar la
Estrategia del aprendizaje enidos/301405/I
NTER_2015_8_
basado en problemas.
3/MOMENTO4
/RUBRICA_DE
_EVALUACIO
N_2015_Interse
mestral_8_3_M
OMENTO_4.pd
f

25 %

5 ESTRUCTURA DE EVALUACIN DEL CURSO

Tipo de evaluacin
Coevaluacin

Ponderacin

Puntaje Mximo

Formativa

Heteroevaluacin

375 (75%)

Heteroevaluacin: Desarrollo y evaluacin de unidades didcticas.

Examen final.

Actividad abierta de desarrollo individual.

Heteroevaluacin
125 (25%)

Total

500 (100%)