Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 25 vistas

    Teoria de La Computacion

    Cargado por

    Juan Carlos Zeus
    Este plan de estudios describe una asignatura de octavo semestre sobre Teoría de la Computación. La asignatura cubre temas como gramáticas formales, máquinas finitas, autómatas con pila, máquinas de Turing, y computabilidad y decibilidad. El objetivo general es analizar los elementos teóricos que dan fundamento matemático a la computación moderna.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Teoria de La Computacion

    Cargado por

    Juan Carlos Zeus
    25 vistas3 páginas
    Este plan de estudios describe una asignatura de octavo semestre sobre Teoría de la Computación. La asignatura cubre temas como gramáticas formales, máquinas finitas, autómatas con pila, máquinas de Turing, y computabilidad y decibilidad. El objetivo general es analizar los elementos teóricos que dan fundamento matemático a la computación moderna.

    Descripción original:

    plan de teoria de la computacion

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este plan de estudios describe una asignatura de octavo semestre sobre Teoría de la Computación. La asignatura cubre temas como gramáticas formales, máquinas finitas, autómatas con pila, máquinas de Turing, y computabilidad y decibilidad. El objetivo general es analizar los elementos teóricos que dan fundamento matemático a la computación moderna.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    25 vistas3 páginas

    Teoria de La Computacion

    Cargado por

    Juan Carlos Zeus
    Este plan de estudios describe una asignatura de octavo semestre sobre Teoría de la Computación. La asignatura cubre temas como gramáticas formales, máquinas finitas, autómatas con pila, máquinas de Turing, y computabilidad y decibilidad. El objetivo general es analizar los elementos teóricos que dan fundamento matemático a la computación moderna.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 3

    UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO

    FACULTAD DE ESTUDIOS SUPERIORES ACATLÁN

    PLAN DE ESTUDIOS DE LA LICENCIATURA EN


    MATEMÁTICAS APLICADAS Y COMPUTACIÓN

    PROGRAMA DE ASIGNATURA
    SEMESTRE: 8 (OCTAVO) Teoría de la Computación CLAVE:

    MODALIDAD CARÁCTER TIPO HORAS AL HORAS HORAS HORAS CRÉDITOS


    SEMESTRE SEMANA TEÓRICAS PRÁCTICAS
    Curso Optativa Teórica 64 4 4 0 8

    ETAPA DE FORMACIÓN Terminal


    CAMPO DE CONOCIMIENTO Ciencias de la Computación

    SERIACIÓN Indicativa
    ASIGNATURA(S) ANTECEDENTE Ninguna
    ASIGNATURA(S) SUBSECUENTE(S) Ninguna
    Objetivo general: El alumno analizará los elementos teóricos que dan fundamento matemático a la
    computación moderna

    Índice Temático Horas


    Unidad Tema Teóricas Prácticas
    1 Gramáticas formales 8 0
    2 Máquinas finitas 16 0
    3 Autómatas con pila 12 0
    4 Máquinas de Turing 16 0
    5 Computabilidad y decibilidad 12 0
    Total de horas: 64 0
    Suma total de horas: 64

    HORAS
    UNIDAD CONTENIDO
    T P

    8 0 1 GRAMÁTICAS FORMALES

    Objetivo particular:
    El alumno reconocerá las gramáticas necesarias para la definición de lenguajes formales.

    Temas:
    1.1 Diferencia entre lenguajes formales y naturales
    1.2 Definición de gramática y sus componentes
    1.3 Expresiones regulares
    1.4 Clasificación de las gramáticas
    1.5 Notación Backus (BNF)
    1.6 Diagramas sintácticos
    1.7 Sistema de Kleene
    16 0 2 MÁQUINAS FINITAS

    Objetivo particular:
    El alumno aplicará la teoría de máquinas finitas para dar fundamento a la resolución de
    problemas computacionales.

    Temas:
    2.1 Máquinas de estado finito
    2.2 Autómatas determinísticos (AFD) y no determinísticos (AFND)
    2.3 Algoritmos de transformación de un AFND a un AFD
    2.4 Proceso de minimización para máquinas de estado finito
    2.5 Gramáticas regulares
    2.6 Autómatas estocásticos

    12 0 3 AUTÓMATAS CON PILA

    Objetivo particular:
    El alumno identificará el funcionamiento de los autómatas de pila como mecanismos de
    reconocimiento en lenguajes independientes del contexto.

    Temas:
    3.1 Definición
    3.2 Gramáticas independientes del contexto
    3.3 Límites de los autómatas de pilas
    3.4 Ciclos en los autómatas de pilas

    16 0 4 MÁQUINAS DE TURING

    Objetivo particular:
    El alumno explicará los componentes de la máquina de Turing, su origen, funcionamiento e
    importancia para las teorías de la computación moderna.

    Temas:
    4.1 Definiciones, notación y tipos
    4.2 La máquina de Turing para el reconocimiento de lenguajes
    4.3 Técnicas para la construcción de máquinas de Turing
    4.4 La máquina Universal de Turing

    12 0 5 COMPUTABILIDAD Y DECIBILIDAD

    Objetivo particular:
    El alumno explicará los conceptos de las funciones recursivas como medio para identificar la
    computabilidad de un problema.

    Temas:
    5.1 Modelos de funciones computables a través de máquinas de Turing
    5.2 Funciones recursivas
    5.3 Problemas indecibles: el problema de paro
    Referencias básicas:

    • Ginzburg y Aiserman. (1988). Teoría algebraica de autómatas. México: Addison Wesley.


    • Grimaldi, R. (1989). Matemáticas discretas y combinatoria. México: Addison Wesley.
    • Kolaman, B. (1988). Estructuras matemáticas discretas para computación. México: Prentice Hall.
    • Minsky, L. (1989). Computation finite and infinite machine. E.U.A.: Prentice Hall.
    • Mosgovoy, Maxim. (2009). Algorithms Languages, Automata & Compilers: A Practical Approach
    Algorithm. Canada: Jones and Bartlett Publishers.
    • Parkes, A. P. (2002). Introduction to Languages, Machines, and Logic. E.U.A.: Springer.
    • Révész, G. E. (2012). Introduction to Formal Languages. Dover Publications.
    • Sipser, M. (2012). Introduction to the Theory of Computation (3 ed). E.U.A.: Course Technology.

    Referencias complementarias:

    • Brookshear, J. G. (1989). Theory and Computation: Formal Languages, Automata, and Complexity. USA:
    Prentice Hall.
    • Kain, R. (1989). Automata theory: machines and languages. E.U.A.: Addison Wesley.
    • Muly, A. (1988). Fundamentals of the computing science. E.U.A.: Prentice Hall.
    • Trkhtenbrot, A. (1991). Algoritmos y computadoras. México: Limusa.

    Sugerencias didácticas: Sugerencias de evaluación del aprendizaje:


    Analizar y producir textos Examen final oral o escrito
    Utilizar tecnologías multimedia Exámenes parciales
    Realizar ejercicios dentro y fuera de clase Informes de prácticas
    Estudiar caso práctico Informes de investigación
    Realizar interrogatorio Participación en clase
    Instrumentar técnicas didácticas como exposición Rúbricas
    oral, interrogatorio, técnicas grupales.de trabajo
    Solución de ejercicios
    colaborativo, trabajo de investigación, entre otros
    Trabajos y tareas
    Realizar visitas de observación
    Proyecto práctico
    Usar de recursos didácticos en línea
    Abordar el Sistema de Kleene con aplicaciones de
    Prolog

    Perfil Profesiográfico: El profesor que imparta la asignatura deberá tener el título de licenciado en Matemáticas
    Aplicadas y Computación o carrera afín, con experiencia profesional y docente, contar con actualización en el área
    y preferentemente tener estudios de posgrado.

    También podría gustarte