Escoge la categoría

Teoría de la computación. Incluye CD

  • Autor:

  • Editores:

  • Editorial:

  • Año de Edición:

  • Idioma:

  • Nº Páginas:

  • ISBN:

  • Formato:
    Comparte

    Por: $85.000,00ou X de


    Comprar
    362_teoria_computa_nori
    Teoría de la computación. Incluye CD
    Por: $85.000,00ou
    48x de $1.770,83
    sem juros
    ComprarVendedor Libreria de la U
    33484
    Este libro cubre la necesidad de un material didáctico que contenga los fundamentos para el conocimientos y comprensión de la Teoría de la Computación, estructurados de una manera clara y sencilla, siguiendo un diseño pedagógico, accesible y práctico, de modo que resulta útil para el docente de la materia de teoría de la computación y brinda confianza y seguridad los estudiantes en el aprendizaje eficaz del curso.Ofrece las bases suficientes para la posterior aplicación de los conceptos contenidos en él, en diversas de la ciencias computacionales, tales como el desarrollo de Software de base y el diseño de compiladores. También es un buen recurso de consulta para los estudiantes que incursionan en algún posgrado en ciencias computacionales.Ofrece las bases suficientes para la posterior aplicación de los conceptos contenidos en él, en diversas de la ciencias computacionales, tales como el desarrollo de Software de base y el diseño de compiladores. También es un buen recurso de consulta para los estudiantes que incursionan en algún posgrado en ciencias computacionales.

    Atributos LU

    TítuloTeoría de la computación. Incluye CD
    AutorJorge Eduardo Carrión Viramontes
    Tabla de ContenidoPrólogo

    1. Conceptos básicos Símbolo
    Alfabeto
    Cadenas
    Operaciones con cadenas Lenguajes
    Operaciones con lenguajes Preguntas

    2. Lenguajes regulares
    Definición
    Expresiones regulares
    Teoremas sobre expresiones regulares
    Análisis léxico
    Preguntas

    3. Autómatas finitos deterministas
    Diagramas de transiciones
    Autómata finito determinista
    AFD complemento
    Autómatas equivalentes
    AFD mínimo equivalente
    Máquina de Moore
    Máquina de Mealy
    Transductor determinista

    4. Autómatas finitos no deterministas
    Definición
    Transiciones épsilon
    Equivalencia entre AFN con y sin transiciones épsilon
    Criterios de simplificación
    Autómatas finitos generalizados
    Ejemplo práctico
    Preguntas

    5. Autómatas finitos y expresiones regulares
    Construcción de autómatas
    Obtención de expresiones regulares
    Simplificación de AFNG
    Preguntas

    6. Gramáticas regulares
    Definición de gramática
    Construcción de gramáticas
    Obtención de expresiones regulares
    Gramáticas regulares reversas
    Propiedades de las gramáticas regulares
    Preguntas

    7. Gramáticas libres del contexto

    Definición de gramática libre del contexto
    Árboles de derivación
    Ambigüedad
    Pruebas de corrección y completez
    Depuración de gramáticas independientes del contexto
    Forma normal de Chomsky
    Algoritmo de CYK (Cocke, Younger y Kasami)
    Forma normal de Greibach
    Preguntas

    8. Lenguajes libres del contexto
    Lenguajes no regulares
    Propiedades de los LIC
    Construcción de GIe
    Análisis sintáctico Gramáticas LL(k)
    Gramáticas LR(k)
    Preguntas

    9. Autómatas de pila
    Autómatas de pila determinista
    Autómatas de pila no determinista
    Autómatas de pila condicionada
    APD complemento
    Construcción de un APN a partir de una GlC
    Construcción de las GlC
    Preguntas

    10. Máquinas de Turing

    La máquina de Turing
    Funciones Turing-computables
    Reconocimiento de lenguajes con máquinas de Turing
    Variantes de las máquinas de Turing
    Máquinas de Turing básicas
    Máquinas de Turing compuestas
    Máquina universal de Turing
    Preguntas

    11. Gramáticas no restringidas
    Lenguajes decidibles
    Gramáticas sensibles al contexto
    Gramáticas no restringidas
    Toda MT puede simularse por alguna
    GNR Jerarquía de Chomsky
    Lenguajes enumerables
    La máquina de Turing como enumerador
    Preguntas

    12. Resolubilidad
    Definición
    Reformulación de problemas
    Propiedades de los lenguajes decidibles
    Problema de detención
    Diagonalización
    Reducibilidad
    Preguntas

    13. Computabiiidad
    Funciones iniciales
    Construcciones primitivas
    Funciones recursivas primitivas
    Funciones características
    Funciones u-recursivas
    Funciones parciales
    Funciones recursivas parciales
    Incomputabilidad
    Preguntas

    14. Complejidad

    Complejidad de los algoritmos
    Complejidad temporal de las máquinas de Turing
    Complejidad de los problemas
    Tasas de crecimiento
    Intratabilidad
    Cálculos de tiempo polinomial
    Problemas de decisión
    Teorema de Cook
    Comentarios finales

    Preguntas
    A. Glosario de términos
    B. Solución a los problemas planteados
    TipoLibro
    ISXN9786075000503
    Año de Edición2009
    Núm. Páginas246
    Peso (Físico)590
    Tamaño (Físico)21 x 27.5 cm

    Títulos Similares