Syllabus 301405 2015 Intersemestral 8 3

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
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.
http://www.veoh.com/watch/v61683101FNRSfxSP
Language aceptado por un automata

finito.
Lenguajes regulares y
3.-Expresiones
Regulares
expresiones regulares
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.

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.

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.
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)
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
Navarro, Gonzalo; Fundamentos de la Ciencia de la copulacin, 2006.

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

Lenguaje aceptado por un AP
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
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
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
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

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 /
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 /
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
Problemas de Halting
Decibilidad de teoras lgicas
Reducibilidad de Turing
Algoritmo de Trellis
Algoritmo de Viterbi
Jurado Mlaga, Elena; Teora de Autmatas y Lenguajes Formales, 2008. Junta de
Extremadura. Unin Europea. Universidad de Extremadura. P 176
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
construido en un eportafolio wiki, o en
identificar un lenguaje
aceptado por un
autmata. La
planeacin de cada
ejercicio y el anlisis
le permitir proyectar
problemas ms
complejos y
estructurados
.
(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
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
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
(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
para recrear
Mquinas de
construido en un eTuring.
portafolio wiki, o en
Identifica las
diferencias
entre una
identificar el
mquina real
comportamiento de
(computador
mquinas abstractas
a) y una
(Mquinas de Turing).
Mquina
abstracta de
poder
.
computacion
al igual o
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
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
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
(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.
.
(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_
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%)

Syllabus 301405 2015 Intersemestral 8 3

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Syllabus 301405 2015 Intersemestral 8 3

Caricato da

Copyright:

Formati disponibili

1 INFORMACIN GENERAL DEL CURSO

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

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

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

Algoritmos. Comprender el diseo lgico, funcional y objetivo de los algoritmos.

Grafos. Conocimientos previos en diagramas de ven, rboles de derivacin, tablas de

DIRECTOR DEL CURSO:

Carlos Alberto Amaya Tarazona

DESCRIPCIN DEL CURSO:

La temtica aborda conceptos y mecanismos fundamentales para la definici n de

finitos, autmatas a pila y mquinas de Turing) y las

fundamentales de las familias de lenguajes por ellos definidas, tambin realiza

son importantes para la construccin de compiladores: Los lenguajes

regulares para la construccin de analizadores lxicos y los lenguajes independientes

sintcticos. La tercera Unidad

Didctica (Lenguajes estructurados por frases incluidas las

son fundamentales para el estudio de la computabilidad y complejidad de problemas.

COMPETENCIAS GENERALES DEL CURSO

CONTENIDOS DEL CURSO

Esquema del contenido del curso:

Referencias Bibliogrficas Requeridas

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

VeoH Chanel: Autor:

AMAYA, C. Disponible en internet. Con acceso Enero de 2014. LC Creative

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

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

AMAYA C. 2014- Canal con LC Creative Commons. Lenguaje aceptado por un

Language aceptado por un automata

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

Significado de las expresiones

Autmatas finitos y expresiones

representa el lenguaje que puede aceptar un autmata. Disponible en internet

VeoH Chanel: Autor: AMAYA, C. Disponible en

internet. Con acceso Enero de 2014. LC Creative Commons.

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

VeoH Chanel: Autor: AMAYA, C.

Disponible en internet. Con acceso Enero de 2014. LC Creative Commons.

AMAYA C. 2014- Canal con LC Creative Commons. Pelcula que cuenta la

AMAYA C. 2014- Canal con LC Creative Commons. Lenguaje aceptado por un

VeoH Chanel: Autor: AMAYA, C.

Disponible en internet. Con acceso Enero de 2014. LC Creative Commons.

UNIDAD II. Lenguajes

Referencias Bibliogrficas Requeridas

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

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

Transformacin de las GLC y

AMAYA C. 2014- Canal con LC Creative Commons. Autmatas y Gramticas,

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

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

Diseo de un autmata de pila

Funciones que se aplican sobre los

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

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

Relacin entre los AP y los LLC.

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

Propiedades de clausura de los LLC

Informtica. Universidad de Oviedo. P 106.

Algoritmos de decisin para los

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

Otras fuentes complementarias:

VeoH Chanel: Autor: AMAYA, C. Disponible

en internet. Con acceso Enero de 2014. LC Creative Commons.