Syllabus Del Curso Autómatas y Lenguajes Formales PDF

Este documento es de clasificacin de seguridad controlada, para su uso debe solicitar autorizacin a la VIACI
Asegrese de estar utilizando la versin actualizada de este formato.
CDIGO:
FORMATO DE SYLLABUS F-8-6-4
VERSIN:
0-06-10-2015
PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:
Pgina 1 de 21
1. INFORMACIN GENERAL DEL CURSO
ESCUELA O UNIDAD: Escuela de ciencias

SIGLA: ECBTI
bsicas tecnologa e ingeniera
NIVEL: Profesional
CAMPO DE FORMACIN: Campo de Formacin Interdisciplinar Bsico Comn - Componente de Formacin Tecnolgica, Comunicacin
y Lenguaje.
CURSO: AUTOMATAS Y LENGUAJES FORMALES CODIGO: 301405
TIPO DE CURSO: Terico
N DE CREDITOS: Tres (3) N DE SEMANAS: Diecisis (16)
CONOCIMIENTOS PREVIOS:
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.
Algoritmos. Comprender el diseo lgico, funcional y objetivo de los algoritmos. Enfoque al anlisis de compiladores y estructuras
lgicas (sentencias numricas).
Grafos. Conocimientos previos en diagramas de ven, rboles de derivacin, tablas de transicin.
Algebra. Matemticas discretas: rea de las matemticas encargadas del estudio de los conjuntos discretos: finitos o infinitos
numerables.
DIRECTOR DEL CURSO: ngela Mara Gonzlez Amarillo
CDIGO:
VERSIN:
0-06-10-2015
Pgina 2 de 21
FECHA DE ELABORACIN: Diciembre 2016
DESCRIPCIN DEL CURSO: Autmatas y lenguajes formales es un curso de carcter terico, que pertenece al 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 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 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
CDIGO:
VERSIN:
0-06-10-2015
Pgina 3 de 21
2. INTENCIONALIDADES FORMATIVAS
Propsitos:
Apropiar 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.
Comprender 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.
Desarrollo de habilidades 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 desarrolla la capacidad de manejar la conceptualizacin y contextualizacin tcnica y operativa de los componentes
computacionales de un autmata
El estudiante representa lenguajes formales mediante expresiones regulares, autmatas finitos, o gramticas
El estudiante disea mquinas abstractas (Autmata de Pila y Mquinas de Turing).
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.
CDIGO:
VERSIN:
0-06-10-2015
Pgina 4 de 21
3. CONTENIDOS DEL CURSO

Esquema del contenido del curso:
CDIGO:
VERSIN:
0-06-10-2015
Pgina 5 de 21
Nombre de la Contenidos de Referencias Bibliogrficas Requeridas

unidad aprendizaje (Incluye: Libros textos, web links, revistas cientficas)
Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes, Gramticas Y Autmatas Para
Alfabetos, cadenas y Informticos. Recuperado de:
UNIDAD 1: lenguajes http://bibliotecavirtual.unad.edu.co:2048/login?user=proveedor&pass=danue0a0&url=http://
Lenguajes bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&s
Regulares Autmatas y ite=eds-live&ebv=EB&ppid=pp_Cover
Lenguajes regulares
Hernndez, R. (2010). Practique la teora de autmatas y lenguajes formales. (pp. 1 -124).
Lenguajes Regulares y Recuperado de:
expresiones regulares http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10
Autmatas finitos y Alfonseca, C., Alfonseca, M., Mariyn, S. (2009). Teora de autmatas y lenguajes formales.
sus clases (pp. 7-797). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6
Milln, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62).

Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351
CDIGO:
VERSIN:
0-06-10-2015
Pgina 6 de 21
Ferrando, J.C., and Gregori, V. (2012). Matemtica discreta (2a. ed.). (pp. 207-232).
Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=260&docID=1075154
3&tm=1481476339478
Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista a Autmata Finito

Determinista. Recuperado de: https://www.youtube.com/watch?v=29Qp_AWXFt4

Determinista con transiciones vacas Mtodo 1. Recuperado de:
https://www.youtube.com/watch?v=NF47BSorRfU

Determinista con transiciones vacas Mtodo 2. Recuperado de:
https://www.youtube.com/watch?v=KhgMam0DMmM

Determinista con transiciones vacas Ejemplo 2. Recuperado de:
https://www.youtube.com/watch?v=uLOXjZUTYyc
CDIGO:
VERSIN:
0-06-10-2015
Pgina 7 de 21
OVI - Unidad I Lenguajes Regulares
En este recurso digital se brinda informacin a los estudiantes del contenido temtico de la
Unidad 1- Lenguajes regulares con el objetivo de facilitar el reconocimiento de los diferentes
elementos que se deben tener en cuenta para el cumplimiento de los objetivos cognitivos de
la unidad.
CK-12, (2015). Operations with Sets. [OVA]. Recuperado de:

http://www.ck12.org/probability/Operations-with-Sets/plix/Lets-Roll-the-Dice-
56e1fc1f8e0e0813d4b14128/?referrer=concept_details.
CK-12, (2015). Operations with Sets Practice. [OVA]. Recuperado de:

http://www.ck12.org/probability/Operations-with-Sets/asmtpractice/Operations-with-Sets-
Practice/?referrer=concept_details
Gonzalez, A. (2017). Autmatas Finitos. Recuperado de: http://hdl.handle.net/10596/10470

Referencias
bibliogrficas Moral, S., Teora de Autmatas y Lenguajes Formales, 2006. Universidad de Granada: Departamento de ciencias de la
complementari computacin. P 118.
as
CDIGO:
VERSIN:
0-06-10-2015
Pgina 8 de 21

Gramticas Regulares Informticos. Recuperado de:
UNIDAD 2 - http://bibliotecavirtual.unad.edu.co:2048/login?user=proveedor&pass=danue0a0&url=http://
Independientes Lenguajes ite=eds-live&ebv=EB&ppid=pp_Cover
del Contexto independientes libres
de contexto, sus Hernndez, R. (2010). Practique la teora de autmatas y lenguajes formales. (pp. 1 -124).
propiedades y sus Recuperado de:
mquinas. http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10
Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de autmatas y lenguajes

rboles de derivacin. formales. Recuperado de:
Autmatas de pila Milln, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 73-126).
(PDA) Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351
CDIGO:
VERSIN:
0-06-10-2015
Pgina 9 de 21
OVA - Unidad 2 Lenguajes Independientes del Contexto
Unidad 2 Lenguajes Independientes del Contexto con el objetivo de facilitar el
reconocimiento de los diferentes elementos que se deben tener en cuenta para el
cumplimiento de los objetivos cognitivos de la unidad.
CK-12, (2014). Connecting Science and Mathematics to Engineering. [OVI]. Recuperado de:
http://www.ck12.org/book/Engineering%3A-An-Introduction-for-High-School/section/5.3/
Referencias Kelley, D. (1995). Teora de Autmatas y Lenguajes Formales, Prentice Hall Hispanoamericana.
bibliogrficas
complementari Brookshear, G. (1993). Teora de la Computacin, Addison Wesley Iberoamericana.
as
Hopcroft, E., Motwani, R., Ullman, J. (2002). Introduccin a la teora de autmatas, lenguajes y computacin. Addison
Wesley.
CDIGO:
VERSIN:
0-06-10-2015
Pgina 10 de 21

Mquinas de Turing Informticos. Recuperado de:
UNIDAD 3 - http://bibliotecavirtual.unad.edu.co:2048/login?user=proveedor&pass=danue0a0&url=http://
Estructurados Tesis de Church/Turing ite=eds-live&ebv=EB&ppid=pp_Cover
por Frases
Hernndez, R. (2010). Practique la teora de autmatas y lenguajes formales. (pp. 1 -124).
Problemas decidibles y Recuperado de:
insolubles para la http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10
teora de lenguajes
Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de autmatas y lenguajes
formales. (pp. 7-797). Recuperado de:
Funciones recursivas http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6
Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificacin de

programas. (pp. 7 - 27). Recuperado de:
CDIGO:
VERSIN:
0-06-10-2015
Pgina 11 de 21
OVA - UNIDAD 3 - Lenguajes Estructurados por Frases
UNIDAD 3 - Lenguajes Estructurados por Frases con el objetivo de facilitar el reconocimiento
de los diferentes elementos que se deben tener en cuenta para el cumplimiento de los
objetivos cognitivos de la unidad.
CK-12, (2012). Case History: How Math, Science, and Engineering Led to the First Pocket Radio.
[OVI]. Recuperado de: http://www.ck12.org/book/Engineering%3A-An-Introduction-for-High-
School/section/5.2/
Referencias Kelley, D. (1995). Teora de Autmatas y Lenguajes Formales, Prentice Hall Hispanoamericana.
bibliogrficas
complementari Brookshear, G. (1993). Teora de la Computacin, Addison Wesley Iberoamericana.
as
Hopcroft, E., Motwani, R., Ullman, J. (2002). Introduccin a la teora de autmatas, lenguajes y computacin. Addison
Wesley.
CDIGO:
VERSIN:
0-06-10-2015
Pgina 12 de 21
4. ACTIVIDADES DE APRENDIZAJE
Evaluacin1
Contenido de Indicadores de Estrategia de N de
Unidad Competencia Criterios de
Aprendizaje desempeo Aprendizaje Sem Propsito
evaluacin Ponderacin
De manera Sustenta el Fase 0: Explorar. 2 Tener puntos Presenta
Desarrollo y individual, el conocimiento Desarrollar la referentes de informe con
Valoracin en estudiante adquirido actividad de la solucin al 25 Puntos
autodesempeo
la calidad de la medir su reconocimiento desarrollo de
, autocontrol y 5%
participacin y evolucin y la actividad.
apropiacin apropiacin de de proyeccin
UNIDAD 1: del tema. la temtica de individual como
Lenguajes manera metas de
Regulares. Conocimiento autocrtica y trabajo
de la historia e constructiva,
identificacin identificando
del rea de en que rea de
conocimiento conocimiento
se trabaja.
CDIGO:
VERSIN:
0-06-10-2015
Pgina 13 de 21
Contenido Indicadores Evaluacin1

Estrategia de N de
Unidad de Competencia de Criterios de
desempeo
Aprendizaje Sem Propsito
Aprendizaje evaluacin Ponderacin
Alfabetos, El estudiante El Fase 1: Debatir y 4 Facilitar la Analiza el
cadenas y deber estudiante desarrollar los apropiacin de caso 75 Puntos
lenguajes. identificar los interioriza ejercicios planteados conocimientos para planteado y 15%
componentes los sobre lenguajes que el estudiante lo evidencia
Autmatas y computacion conceptos, regulares y pueda adquirir los en el foro
UNIDAD 1: Lenguajes ales de un la autmatas finitos. conceptos que * Presenta
Lenguajes regulares. autmata, terminolog enmarcan el informe con
Regulares. tendr la a bsica, Estrategia de desarrollo Autmatas la solucin a
Lenguajes capacidad de concreta y aprendizaje basado y lenguajes Formales. los
Regulares y describirlos y realiza la en problemas. Llevarlos a problemas
expresiones formularlos, caracteriza Involucra las escenarios reales de con
regulares. caracteriznd cin de los siguientes fases: prueba y aprendizaje argumentos
olos de autmatas Fase 1: Preparacin para que se y referencias
Definicin manera y lenguajes individual: Cada contextualicen y ellos de soporte.
formal de matemtica formales participante estudia mismos puedan
autmata (llevndolos en la temtica y plantea medir sus
finito y sus a recrearlos contextuali soluciones iniciales competencias.
CDIGO:
VERSIN:
0-06-10-2015
Pgina 14 de 21
clases en diagramas zacin de al problema. El resultado de esta

o tablas de manera Fase 2. Aclaracin estrategia ser un
transicin). objetiva. del problema: informe escrito
Analizar el problema (documento)
propuesto -
preguntar, explicar,
desarrollar, etc.
Fase 3. Debate
grupal: Analizar y
discutir el caso y
Presentar
Alternativas de
solucin y tomar
decisiones
Fase 4. Concluir y
Formular el
resultado
CDIGO:
VERSIN:
0-06-10-2015
Pgina 15 de 21

Estrategia de N de
desempeo
Gramticas El estudiante Desarrollo Fase 2: Debatir y 4 Facilitar la Analiza el
Regulares. se apropiar de desarrollar los apropiacin de caso
del Autmatas ejercicios planteados conocimientos para planteado y 75 Puntos
Lenguajes conocimiento con pila y sobre autmatas que el estudiante lo evidencia
15%
UNIDAD 2: independient y habilidades gramticas con pila y pueda adquirir los en el foro
Lenguajes es libres de tcnicas para El gramticas. conceptos que * Presenta
Independi contexto, sus identificar los estudiante enmarcan el trabajo informe con
entes del propiedades componentes est en la Estrategia de con mquinas la solucin a
Contexto y sus de capacidad aprendizaje basado abstractas que los
mquinas. autmatas de realizar en problemas. manejen memoria, problemas
con memoria autmatas Involucra las simulando el con
rboles de adicional con pilas siguientes fases: funcionamiento de argumentos
derivacin. (Push Down AP con el Fase 1: Preparacin un computador. y referencias
Autmatas automaton). fin de individual: Cada Llevarlos a de soporte.
de pila (PDA) PDA. Y los detectar participante estudia escenarios reales de La estructura
lleva a una diferencias la temtica y plantea prueba y aprendizaje de la
simulacin entre las soluciones iniciales para que se evaluacin
CDIGO:
VERSIN:
0-06-10-2015
Pgina 16 de 21
bsica condicione al problema. contextualicen y ellos est dada

(diagramas s existentes Fase 2. Aclaracin mismos puedan por la
destacados). y los del problema: medir sus estructura
Identifica autmatas Analizar el problema competencias. del quiz y el
lenguajes, finitos, y propuesto - Despus de la tipo de
alfabetos y para preguntar, explicar, simulacin y los preguntas
construye evaluar las desarrollar, etc. ejercicios en el aula, que son de
una funcin caractersti Fase 3. Debate se proyecta que el seleccin
de transicin. cas del grupal: Analizar y estudiante refuerce mltiple con
mismo discutir el caso y los conceptos nica
Desarrollo y Presentar tericos asociados a respuesta.
Valoracin en Alternativas de las definiciones
la calidad de solucin y tomar matemticas,
la decisiones demostraciones y
participacin Fase 4. Concluir y teoremas propios de
y apropiacin Formular el la teora de lenguajes
del tema. resultado y autmatas
Fase 2: Reflexionar 75 Puntos

sobre el tema. Quiz 15%
CDIGO:
VERSIN:
0-06-10-2015
Pgina 17 de 21

Estrategia de N de
desempeo
Mquinas de El estudiante Identifica Fase 3: Debatir y 4 Facilitar la Analiza el
UNIDAD 3: Turing, Tesis se apropiar los desarrollar los apropiacin de caso 75 Puntos
Lenguajes de del principios ejercicios planteados conocimientos para planteado y 15%
Estructura Church/Turin conocimiento conceptos sobre Mquinas de que el estudiante lo evidencia
dos por g, Problemas y habilidades y procesos Turing. pueda adquirir los en el foro
Frases decidibles y tcnicas para utilizados conceptos que * Presenta
insolubles identificar los en la Estrategia de enmarcan el trabajo informe con
para la teora componentes creacin de aprendizaje basado con mquinas la solucin a
de lenguajes, de una mquinas en problemas. abstractas (MT) que los
Funciones Mquina de de Turing. Involucra las manejen memoria, problemas
recursivas Turing. Y los siguientes fases: simulando el con
lleva a una Fase 1: Preparacin funcionamiento de argumentos
simulacin individual: Cada un computador. y referencias
bsica participante estudia Llevarlos a de soporte.
(diagramas la temtica y plantea escenarios reales de La estructura
de estados). soluciones iniciales prueba y aprendizaje de la
Identifica al problema. para que se evaluacin
CDIGO:
VERSIN:
0-06-10-2015
Pgina 18 de 21
lenguajes, Fase 2. Aclaracin contextualicen y ellos est dada

alfabetos y del problema: mismos puedan por la
construye Analizar el problema medir sus estructura
una funcin propuesto - competencias. del quiz y el
de transicin. preguntar, explicar, Despus de la tipo de
En desarrollar, etc. simulacin y los preguntas
codificacin, Fase 3. Debate ejercicios en el aula, que son de
ejemplifica grupal: Analizar y se proyecta que el seleccin
un ejercicio discutir el caso y estudiante refuerce mltiple con
para ver el Presentar los conceptos nica
comportamie Alternativas de tericos asociados a respuesta
nto de una solucin y tomar las definiciones
Mquina de decisiones matemticas,
Turing Fase 4. Concluir y demostraciones y
Formular el teoremas propios de
resultado. la teora de lenguajes
y autmatas.
Fase 3: Reflexionar Aplicaciones propias 50 Puntos
sobre el tema. de codificacin y 10%
Resolver Quiz decodificacin.
CDIGO:
VERSIN:
0-06-10-2015
Pgina 19 de 21
Indicadores Evaluacin1
Contenido de Estrategia de N de
Unidad Competencia de
Aprendizaje desempeo
El estudiante Sustenta el El estudiante 2 Comprende todos los El

realiza conocimien realiza un proyecto contenidos del curso. estudiante
adecuadament to teniendo en 125 Puntos
evidencia
UNIDAD e el proyecto adquirido cuenta la 25%
los saberes
12Y3 Comprende basado en un del curso estrategia de adquiridos
Autmat todos los problema aprendizaje a travs de
as y sus contenidos basado en un proyecto
aplicacio del curso. problemas. Donde final
nes evidencia el
desarrollo de las
competencias.
CDIGO:
VERSIN:
0-06-10-2015
Pgina 20 de 21
5. ESTRUCTURA DE EVALUACION DEL CURSO
Tipo de Evaluacin Ponderacin Puntaje Mximo

Autoevaluacin Formativa 0
Coevaluacin Formativa 0
Heteroevaluacin 75% 375
Fase 1: Quiz Evaluacin inicial 5% 25
Fase 1: Trabajo
Evaluacin intermedia 15% 75
colaborativo
Fase 2: Trabajo
colaborativo
Fase 2: Quiz Evaluacin intermedia 15% 75
Fase 3: Trabajo
colaborativo
Fase 3: Quiz Evaluacin intermedia 10% 50
Evaluacin Final Evaluacin final 25% 125
Total 100% 500
CDIGO:
VERSIN:
0-06-10-2015
Pgina 21 de 21

Syllabus Del Curso Autómatas y Lenguajes Formales PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Syllabus Del Curso Autómatas y Lenguajes Formales PDF

Uploaded by

Copyright:

Available Formats

Este documento es de clasificacin de seguridad controlada, para su uso debe solicitar autorizacin a la VIACI

Asegrese de estar utilizando la versin actualizada de este formato.

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

1. INFORMACIN GENERAL DEL CURSO

ESCUELA O UNIDAD: Escuela de ciencias

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

FECHA DE ELABORACIN: Diciembre 2016

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

3. CONTENIDOS DEL CURSO

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

Nombre de la Contenidos de Referencias Bibliogrficas Requeridas

Milln, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62).

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista a Autmata Finito

Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista a Autmata Finito

Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista a Autmata Finito

Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista a Autmata Finito

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

OVI - Unidad I Lenguajes Regulares

CK-12, (2015). Operations with Sets. [OVA]. Recuperado de:

CK-12, (2015). Operations with Sets Practice. [OVA]. Recuperado de:

Gonzalez, A. (2017). Autmatas Finitos. Recuperado de: http://hdl.handle.net/10596/10470

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

Nombre de la Contenidos de Referencias Bibliogrficas Requeridas

Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de autmatas y lenguajes

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

OVA - Unidad 2 Lenguajes Independientes del Contexto

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

Nombre de la Contenidos de Referencias Bibliogrficas Requeridas

Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificacin de

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

OVA - UNIDAD 3 - Lenguajes Estructurados por Frases

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

Contenido Indicadores Evaluacin1

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

clases en diagramas zacin de al problema. El resultado de esta

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

Contenido Indicadores Evaluacin1

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

bsica condicione al problema. contextualicen y ellos est dada

Fase 2: Reflexionar 75 Puntos

FORMATO DE SYLLABUS F-8-6-4

PROCEDIMIENTO RELACIONADO: DISEO DE CURSOS PGINAS:

Contenido Indicadores Evaluacin1

FORMATO DE SYLLABUS F-8-6-4