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


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.


http://www.veoh.com/watch/v61683101FNRSfxSP

http://www.veoh.com/watch/v616083236Thn5HJn

http://www.veoh.com/watch/v6168933229Fx8G4A

http://youtu.be/eWUfPJD9A_0

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.


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.


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.

http://www.veoh.com/watch/v61609207mprr4pFS

http://www.veoh.com/watch/v61610759jHdGRr59

UNIDAD II. Lenguajes

Independientes del

Contexto

CONTENIDOS DE

APRENDIZAJE


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


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


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


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



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.

Lenguajes Estructurados

por frases

CONTENIDOS DE

APRENDIZAJE


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


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

http://youtu.be/Sg3Q2Qm3IL0

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.

pdf

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



construido en un 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

.


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)





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


mismos puedan medir

sus competencias.



escrito (documento)

que como producto

permita evaluar la



(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



construido en un e-




identificar el

comportamiento de

máquinas abstractas

(Máquinas 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

Dos (02)

semanas

(del 15 de

julio al 31

de Julio

de 2015)





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


mismos puedan medir

sus competencias.



escrito (documento)

que como producto

permita evaluar la



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

.


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


escritos (documento)

que como producto

permita evaluar la



(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%)

Syllabus 301405 2015 Intersemestral 8 3

Documents

Transcript of Syllabus 301405 2015 Intersemestral 8 3