You are on page 1of 21

Este documento es de clasificación de seguridad controlada, para su uso debe solicitar autorización a la VIACI

Asegúrese de estar utilizando la versión actualizada de este formato.

CÓDIGO:

FORMATO DE SYLLABUS F-8-6-4

VERSIÓN:

0-06-10-2015

PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS:

Página 1 de 21

1. INFORMACIÓN GENERAL DEL CURSO

ESCUELA O UNIDAD: Escuela de ciencias
SIGLA: ECBTI
básicas tecnología e ingeniería
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 CODIGO: 301405
TIPO DE CURSO: Teórico
N° DE CREDITOS: Tres (3) N° DE SEMANAS: Dieciséis (16)

CONOCIMIENTOS PREVIOS:
• 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.
• 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).
• Grafos. Conocimientos previos en diagramas de ven, árboles de derivación, tablas de transición.
 Algebra. Matemáticas discretas: área de las matemáticas encargadas del estudio de los conjuntos discretos: finitos o infinitos
numerables.
DIRECTOR DEL CURSO: Ángela María González Amarillo
Este documento es de clasificación de seguridad controlada, para su uso debe solicitar autorización a la VIACI
Asegúrese de estar utilizando la versión actualizada de este formato.

Este documento es de clasificación de seguridad controlada, para su uso debe solicitar autorización a la VIACI
Asegúrese de estar utilizando la versión actualizada de este formato.

CÓDIGO:

FORMATO DE SYLLABUS F-8-6-4

VERSIÓN:

0-06-10-2015

PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS:

Página 2 de 21

FECHA DE ELABORACIÓN: Diciembre 2016

DESCRIPCIÓN DEL CURSO: Autómatas y lenguajes formales es un curso de carácter teórico, que pertenece al 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

Este documento es de clasificación de seguridad controlada, para su uso debe solicitar autorización a la VIACI
Asegúrese de estar utilizando la versión actualizada de este formato.

pilas (PDA) y Máquinas de Turing para propósitos específicos. asociándolo a contextos reales o escenarios reales que apliquen la implementación de estas máquinas abstractas. o gramáticas • El estudiante diseña máquinas abstractas (Autómata de Pila y Máquinas de Turing). . • Comprender 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. Competencias Generales del Curso: • El estudiante desarrolla la capacidad de manejar la conceptualización y contextualización técnica y operativa de los componentes computacionales de un autómata • El estudiante representa lenguajes formales mediante expresiones regulares. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Este documento es de clasificación de seguridad controlada. INTENCIONALIDADES FORMATIVAS Propósitos: • Apropiar 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. • Desarrollo de habilidades para diseñar autómatas. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. • 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. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 3 de 21 2. en los que se reconozca su comportamiento. Este documento es de clasificación de seguridad controlada. autómatas finitos. lenguaje que acepta y la forma de expresarlos matemáticamente.

para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. CONTENIDOS DEL CURSO Esquema del contenido del curso: Este documento es de clasificación de seguridad controlada. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 4 de 21 3. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. . Este documento es de clasificación de seguridad controlada.

co:2077/lib/unadsp/reader. 1 -124).. Recuperado de: http://bibliotecavirtual.unad. (2016).edu. Practique la teoría de autómatas y lenguajes formales. Alfonseca. Forcada.co:2048/login?user=proveedor&pass=danue0a0&url=http:// Lenguajes bibliotecavirtual. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 5 de 21 Nombre de la Contenidos de Referencias Bibliográficas Requeridas unidad aprendizaje (Incluye: Libros textos. revistas científicas) Carrasco. 28-62).. Lenguajes Regulares y Recuperado de: expresiones regulares http://bibliotecavirtual. .action?docID=10566114&ppg=10 Autómatas finitos y Alfonseca.. Antonio J. sus clases (pp. Gramáticas Y Autómatas Para Alfabetos.. (2009).. Compiladores y procesadores de lenguajes.co:2051/login. Teoría De Lenguajes. web links.unad. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Mariyón. S. J.aspx?direct=true&db=nlebk&AN=318032&lang=es&s Regulares Autómatas y ite=eds-live&ebv=EB&ppid=pp_Cover Lenguajes regulares Hernández. (pp.edu. C. Calera.edu. M. R. R. 7-797).unad. Teoría de autómatas y lenguajes formales. (pp. (2009). para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato.co:2077/lib/unadsp/reader.action?docID=10844351 Este documento es de clasificación de seguridad controlada. cadenas y Informáticos. (2010).action?docID=10498456&ppg=6 Millán.unad. Este documento es de clasificación de seguridad controlada. R.edu.co:2077/lib/unadsp/detail.unad. Recuperado de: UNIDAD 1: lenguajes http://bibliotecavirtual. M. Recuperado de: http://bibliotecavirtual.edu.

207-232). A. A.Este documento es de clasificación de seguridad controlada.youtube. (2016). Conversión de Autómata Finito No Determinista a Autómata Finito Determinista con transiciones vacías – Método 2. Recuperado de: https://www.).com/watch?v=29Qp_AWXFt4 González. V.com/watch?v=NF47BSorRfU González.. Conversión de Autómata Finito No Determinista a Autómata Finito Determinista con transiciones vacías – Ejemplo 2.youtube.youtube. .com/watch?v=uLOXjZUTYyc Este documento es de clasificación de seguridad controlada.co:2077/lib/unadsp/reader.action?ppg=260&docID=1075154 3&tm=1481476339478 González. (2016). (2012). para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. J.youtube.com/watch?v=KhgMam0DMmM González. Matemática discreta (2a. (2016).C. (pp.unad. ed.edu. Recuperado de: https://www. Recuperado de: https://www. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Recuperado de: https://www. A. (2016). CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 6 de 21 Ferrando. A. Conversión de Autómata Finito No Determinista a Autómata Finito Determinista. Conversión de Autómata Finito No Determinista a Autómata Finito Determinista con transiciones vacías – Método 1. Recuperado de: http://bibliotecavirtual. and Gregori.

P 118. Autómatas Finitos..org/probability/Operations-with-Sets/asmtpractice/Operations-with-Sets- Practice/?referrer=concept_details Gonzalez. A. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Operations with Sets. CK-12.org/probability/Operations-with-Sets/plix/Lets-Roll-the-Dice- 56e1fc1f8e0e0813d4b14128/?referrer=concept_details. (2017). [OVA]. Este documento es de clasificación de seguridad controlada. Recuperado de: http://hdl. Recuperado de: http://www. Universidad de Granada: Departamento de ciencias de la complementari computación. CK-12. (2015).ck12.handle. (2015). Recuperado de: http://www. Operations with Sets Practice. S. as Este documento es de clasificación de seguridad controlada.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.ck12. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 7 de 21 OVI .Unidad I – Lenguajes Regulares En este recurso digital se brinda información a los estudiantes del contenido temático de la Unidad 1.net/10596/10470 Referencias bibliográficas Moral. 2006. [OVA]. Teoría de Autómatas y Lenguajes Formales. .

(PDA) Recuperado de: http://bibliotecavirtual. http://bibliotecavirtual.unad. M. R. Mariyón S..edu. Practique la teoría de autómatas y lenguajes formales.. J.unad. Este documento es de clasificación de seguridad controlada. revistas científicas) Carrasco. web links. R. Forcada.co:2051/login.action?docID=10844351 Este documento es de clasificación de seguridad controlada. propiedades y sus Recuperado de: máquinas. Antonio J. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato.co:2077/lib/unadsp/detail. R. . (pp.co:2048/login?user=proveedor&pass=danue0a0&url=http:// Lenguajes bibliotecavirtual.aspx?direct=true&db=nlebk&AN=318032&lang=es&s Independientes Lenguajes ite=eds-live&ebv=EB&ppid=pp_Cover del Contexto independientes libres de contexto.. 1 -124).. Teoría De Lenguajes. Gramáticas Y Autómatas Para Gramáticas Regulares Informáticos. Recuperado de: UNIDAD 2 . Compiladores y procesadores de lenguajes.action?docID=10566114&ppg=10 Alfonseca C. (2016).edu. Recuperado de: http://bibliotecavirtual. sus Hernández..co:2077/lib/unadsp/reader. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. http://bibliotecavirtual. (2010).edu.co:2077/lib/unadsp/reader.edu. (2009). R.unad. M. E. formales.edu. (pp.unad. Calera. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 8 de 21 Nombre de la Contenidos de Referencias Bibliográficas Requeridas unidad aprendizaje (Incluye: Libros textos. Teoría de autómatas y lenguajes Árboles de derivación.action?docID=10498456&ppg=6 Autómatas de pila Millán.unad. 73-126). (2009). Alfonseca M.

as Hopcroft. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 9 de 21 OVA . (1993). D. Prentice Hall Hispanoamericana. Teoría de Autómatas y Lenguajes Formales. (2002). Recuperado de: http://www. (2014).. [OVI].ck12. Introducción a la teoría de autómatas. E. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Este documento es de clasificación de seguridad controlada. Motwani. lenguajes y computación. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. J.3/ Referencias Kelley. CK-12.Unidad 2 – Lenguajes Independientes del Contexto En este recurso digital se brinda información a los estudiantes del contenido temático de la 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. R.org/book/Engineering%3A-An-Introduction-for-High-School/section/5. . Este documento es de clasificación de seguridad controlada. Addison Wesley Iberoamericana. G. (1995). Teoría de la Computación. bibliográficas complementari Brookshear. Addison Wesley. Ullman. Connecting Science and Mathematics to Engineering..

edu.co:2077/lib/unadsp/reader. Recuperado de: UNIDAD 3 . Calera.. Complejidad computacional y verificación de programas.co:2077/lib/unadsp/reader.. web links. (pp. 1 -124). M. Forcada. (2016). 7-797). Mariyón S. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 10 de 21 Nombre de la Contenidos de Referencias Bibliográficas Requeridas unidad aprendizaje (Incluye: Libros textos. (2016). Teoría de autómatas y lenguajes formales.action?docID=10566114&ppg=10 teoría de lenguajes Alfonseca C.action?docID=10498456&ppg=6 Rosenfeld. Gramáticas Y Autómatas Para Máquinas de Turing Informáticos. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato.27).unad..co:2077/lib/unadsp/reader.unad.unad. revistas científicas) Carrasco. 7 . R. Practique la teoría de autómatas y lenguajes formales. Teoría De Lenguajes. (2009).edu.unad. E. Recuperado de: Funciones recursivas http://bibliotecavirtual.action?docID=11201616&ppg=12 Este documento es de clasificación de seguridad controlada. Problemas decidibles y Recuperado de: insolubles para la http://bibliotecavirtual. Este documento es de clasificación de seguridad controlada. Computabilidad. D.co:2051/login. (pp.edu. Alfonseca M. http://bibliotecavirtual. R. R. (2010).. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. (pp.edu. R.unad. Recuperado de: http://bibliotecavirtual.co:2048/login?user=proveedor&pass=danue0a0&url=http:// Lenguajes bibliotecavirtual.aspx?direct=true&db=nlebk&AN=318032&lang=es&s Estructurados Tesis de Church/Turing ite=eds-live&ebv=EB&ppid=pp_Cover por Frases Hernández. M. .edu.

J. Este documento es de clasificación de seguridad controlada. Science. Addison Wesley. bibliográficas complementari Brookshear.2/ Referencias Kelley. Motwani. as Hopcroft. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Case History: How Math. R.ck12. Addison Wesley Iberoamericana. (1993). CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 11 de 21 OVA . [OVI]. lenguajes y computación. Este documento es de clasificación de seguridad controlada. Recuperado de: http://www. CK-12.org/book/Engineering%3A-An-Introduction-for-High- School/section/5.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.Lenguajes Estructurados por Frases En este recurso digital se brinda información a los estudiantes del contenido temático de la UNIDAD 3 . Prentice Hall Hispanoamericana. Ullman. D.. Teoría de la Computación. and Engineering Led to the First Pocket Radio. Introducción a la teoría de autómatas.. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato.UNIDAD 3 . (2012). E. (2002). (1995). Teoría de Autómatas y Lenguajes Formales. . G.

el conocimiento Desarrollar la referentes de informe con Valoración en estudiante adquirido actividad de la solución al 25 Puntos autodesempeño la calidad de la medirá su reconocimiento desarrollo de . identificación identificando del área de en que área de conocimiento conocimiento se trabaja. 2 Tener puntos Presenta Desarrollo y individual. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Conocimiento autocrítica y trabajo de la historia e constructiva. autocontrol y 5% participación y evolución y la actividad. ACTIVIDADES DE APRENDIZAJE Evaluación1 Contenido de Indicadores de Estrategia de N° de Unidad Competencia Criterios de Aprendizaje desempeño Aprendizaje Sem Propósito evaluación Ponderación De manera Sustenta el Fase 0: Explorar. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Este documento es de clasificación de seguridad controlada. apropiación apropiación de de proyección UNIDAD 1: del tema. . la temática de individual como Lenguajes manera metas de Regulares. Este documento es de clasificación de seguridad controlada. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 12 de 21 4.

tendrá la a básica. terminologí enmarcan el informe con Regulares. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Estrategia de desarrollo Autómatas la solución a Lenguajes capacidad de concreta y aprendizaje basado y lenguajes Formales. Llevarlos a problemas expresiones formularlos. formal de matemática formales participante estudia mismos puedan autómata (llevándolos en la temática y plantea medir sus finito y sus a recrearlos contextuali soluciones iniciales competencias. Este documento es de clasificación de seguridad controlada. los Regulares y describirlos y realiza la en problemas. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 13 de 21 Contenido Indicadores Evaluación1 Estrategia de N° de Unidad de Competencia de Criterios de desempeño Aprendizaje Sem Propósito Aprendizaje evaluación Ponderación Alfabetos. caracterizánd ción de los siguientes fases: prueba y aprendizaje argumentos olos de autómatas Fase 1: Preparación para que se y referencias Definición manera y lenguajes individual: Cada contextualicen y ellos de soporte. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. identificar los interioriza ejercicios planteados conocimientos para planteado y 15% componentes los sobre lenguajes que el estudiante lo evidencia Autómatas y computacion conceptos. Este documento es de clasificación de seguridad controlada. conceptos que * Presenta Lenguajes regulares. caracteriza Involucra las escenarios reales de con regulares. regulares y pueda adquirir los en el foro UNIDAD 1: Lenguajes ales de un la autómatas finitos. . autómata. El estudiante El Fase 1: Debatir y 4 Facilitar la Analiza el cadenas y deberá estudiante desarrollar los apropiación de caso 75 Puntos lenguajes.

Este documento es de clasificación de seguridad controlada. Fase 3. del problema: informe escrito Analizar el problema (documento) propuesto - preguntar. . Debate grupal: Analizar y discutir el caso y Presentar Alternativas de solución y tomar decisiones Fase 4. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 14 de 21 clases en diagramas zación de al problema. objetiva. Concluir y Formular el resultado Este documento es de clasificación de seguridad controlada. El resultado de esta o tablas de manera Fase 2. Aclaración estrategia será un transición). explicar. desarrollar. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. etc.

sus identificar los estudiante enmarcan el trabajo informe con entes del propiedades componentes está en la Estrategia de con máquinas la solución a Contexto y sus de capacidad aprendizaje basado abstractas que los máquinas. Y los detectar participante estudia escenarios reales de La estructura lleva a una diferencias la temática y plantea prueba y aprendizaje de la simulación entre las soluciones iniciales para que se evaluación Este documento es de clasificación de seguridad controlada. manejen memoria. (Push Down AP con el Fase 1: Preparación un computador. fin de individual: Cada Llevarlos a de soporte. . para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. problemas con memoria autómatas Involucra las simulando el con Árboles de adicional con pilas siguientes fases: funcionamiento de argumentos derivación. y referencias Autómatas automaton). autómatas de realizar en problemas. conceptos que * Presenta Independi contexto. Este documento es de clasificación de seguridad controlada. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 15 de 21 Contenido Indicadores Evaluación1 Estrategia de N° de Unidad de Competencia de Criterios de desempeño Aprendizaje Sem Propósito Aprendizaje evaluación Ponderación Gramáticas El estudiante Desarrollo Fase 2: Debatir y 4 Facilitar la Analiza el Regulares. se apropiará de desarrollar los apropiación de caso del Autómatas ejercicios planteados conocimientos para planteado y 75 Puntos Lenguajes conocimiento con pila y sobre autómatas que el estudiante lo evidencia 15% UNIDAD 2: independient y habilidades gramáticas con pila y pueda adquirir los en el foro Lenguajes es libres de técnicas para El gramáticas. de pila (PDA) PDA. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato.

para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Después de la tipo de alfabetos y para preguntar. y los del problema: medir sus estructura Identifica autómatas Analizar el problema competencias. que son de una función característi Fase 3. resultado y autómatas Fase 2: Reflexionar 75 Puntos sobre el tema. contextualicen y ellos está dada (diagramas s existentes Fase 2. Debate se proyecta que el selección de transición. ejercicios en el aula. simulación y los preguntas construye evaluar las desarrollar. explicar. etc. cas del grupal: Analizar y estudiante refuerce múltiple con mismo discutir el caso y los conceptos única Desarrollo y Presentar teóricos asociados a respuesta. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 16 de 21 básica condicione al problema. la decisiones demostraciones y participación Fase 4.Este documento es de clasificación de seguridad controlada. . del quiz y el lenguajes. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. y propuesto . Aclaración mismos puedan por la destacados). finitos. Quiz 15% Este documento es de clasificación de seguridad controlada. Concluir y teoremas propios de y apropiación Formular el la teoría de lenguajes del tema. Valoración en Alternativas de las definiciones la calidad de solución y tomar matemáticas.

abstractas (MT) que los Funciones Máquina de de Turing. para que se evaluación Este documento es de clasificación de seguridad controlada. . pueda adquirir los en el foro Frases decidibles y técnicas para utilizados conceptos que * Presenta insolubles identificar los en la Estrategia de enmarcan el trabajo informe con para la teoría componentes creación de aprendizaje basado con máquinas la solución a de lenguajes. Involucra las manejen memoria. (diagramas la temática y plantea escenarios reales de La estructura de estados). CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 17 de 21 Contenido Indicadores Evaluación1 Estrategia de N° de Unidad de Competencia de Criterios de desempeño Aprendizaje Sem Propósito Aprendizaje evaluación Ponderación Máquinas de El estudiante Identifica Fase 3: Debatir y 4 Facilitar la Analiza el UNIDAD 3: Turing. Y los siguientes fases: simulando el con lleva a una Fase 1: Preparación funcionamiento de argumentos simulación individual: Cada un computador. y referencias básica participante estudia Llevarlos a de soporte. Problemas y habilidades y procesos Turing. Este documento es de clasificación de seguridad controlada. de una máquinas en problemas. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Tesis se apropiará los desarrollar los apropiación de caso 75 Puntos Lenguajes de del principios ejercicios planteados conocimientos para planteado y 15% Estructura Church/Turin conocimiento conceptos sobre Máquinas de que el estudiante lo evidencia dos por g. soluciones iniciales prueba y aprendizaje de la Identifica al problema. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. problemas recursivas Turing.

Concluir y demostraciones y Formular el teoremas propios de resultado. Fase 2. explicar. Aclaración contextualicen y ellos está dada alfabetos y del problema: mismos puedan por la construye Analizar el problema medir sus estructura una función propuesto .Este documento es de clasificación de seguridad controlada. Este documento es de clasificación de seguridad controlada. preguntar. Después de la tipo de En desarrollar. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 18 de 21 lenguajes. simulación y los preguntas codificación. del quiz y el de transición. la teoría de lenguajes y autómatas. competencias. Fase 3. Debate ejercicios en el aula. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Turing Fase 4. de codificación y 10% Resolver Quiz decodificación. etc. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. que son de ejemplifica grupal: Analizar y se proyecta que el selección un ejercicio discutir el caso y estudiante refuerce múltiple con para ver el Presentar los conceptos única comportamie Alternativas de teóricos asociados a respuesta nto de una solución y tomar las definiciones Máquina de decisiones matemáticas. . Fase 3: Reflexionar Aplicaciones propias 50 Puntos sobre el tema.

Este documento es de clasificación de seguridad controlada. . CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 19 de 21 Indicadores Evaluación1 Contenido de Estrategia de N° de Unidad Competencia de Aprendizaje desempeño Aprendizaje Sem Propósito El estudiante Sustenta el El estudiante 2 Comprende todos los El realiza conocimien realiza un proyecto contenidos del curso. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Donde final nes evidencia el desarrollo de las competencias. Este documento es de clasificación de seguridad controlada. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. problemas. 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 Autómat todos los problema aprendizaje a través de as y sus contenidos basado en un proyecto aplicacio del curso.

. ESTRUCTURA DE EVALUACION DEL CURSO Tipo de Evaluación Ponderación Puntaje Máximo Autoevaluación Formativa 0 Coevaluación Formativa 0 Heteroevaluación 75% 375 Fase 1: Quiz Evaluación inicial 5% 25 Fase 1: Trabajo Evaluación intermedia 15% 75 colaborativo Fase 2: Trabajo Evaluación intermedia 15% 75 colaborativo Fase 2: Quiz Evaluación intermedia 15% 75 Fase 3: Trabajo Evaluación intermedia 15% 75 colaborativo Fase 3: Quiz Evaluación intermedia 10% 50 Evaluación Final Evaluación final 25% 125 Total 100% 500 Este documento es de clasificación de seguridad controlada. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. Este documento es de clasificación de seguridad controlada. CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 20 de 21 5. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato.

CÓDIGO: FORMATO DE SYLLABUS F-8-6-4 VERSIÓN: 0-06-10-2015 PROCEDIMIENTO RELACIONADO: DISEÑO DE CURSOS PÁGINAS: Página 21 de 21 Este documento es de clasificación de seguridad controlada.Este documento es de clasificación de seguridad controlada. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. para su uso debe solicitar autorización a la VIACI Asegúrese de estar utilizando la versión actualizada de este formato. .