Página principal

Universidad del azuay


Descargar 6.4 Kb.
Fecha de conversión18.07.2016
Tamaño6.4 Kb.

ISI 702 Teoría de la Computación II

UNIVERSIDAD DEL AZUAY

FACULTAD DE CIENCIAS DE LA ADMINISTRACIÓN

ESCUELA DE INGENIERÍA DE SISTEMAS


  1. DATOS GENERALES


Materia: ISI 702 Teoría de la Computación II

Nivel: 7

Número de créditos: 4

Prerrequisito: ISI 602 Teoría de la Computación I


  1. OBJETIVO GENERAL Y ESPECÍFICOS DE LA MATERIA




  1. CONTENIDO DE LA MATERIA




  1. Lenguajes Regulares y Autómatas Finitos

    1. Introducción

    2. Lenguajes Regulares

    3. Autómatas Finitos

      1. Determinísticos

      2. No Determinísticos

      3. Con transiciones ε

    4. Expresiones Regulares

    5. Propiedades de los lenguajes regulares




  1. Lenguajes libres de contexto y autómatas de Pila

2.1 Lenguajes libres de contexto

2.2 Gramática libre de contexto

2.3 Formas normales

2.4 Autómatas de pila



2.5 Propiedades de los lenguajes libres de contexto


  1. Lenguajes Recursivamente Enumerables y Máquina de Turing




    1. Lenguajes recursivamente enumerables

    2. Máquina de Turing

    3. Lenguajes recursivos

    4. Tesis de Church

    5. Clasificación de Chomsky




  1. BIBLIOGRAFÍA




  • BOVET, D.P. y CRERESCENZI P. Introduction to the Theory of Complexity, Segunda Edición, Prentice Hall, 1998.

  • HOPCROFT, John, ULLMAN, Jeffret, Introducción a la Teoría de Autómatas, Lenguajes y Computación, CECSA, (1993)

  • LEWIS, Harry, PAPADIMITRIOU, Christos, Elements of the Theory of Computation, Prentice Hall, 1998.



La base de datos está protegida por derechos de autor ©espanito.com 2016
enviar mensaje