Tipo: Libro impreso / Print book
Encuadernación / Binding: Tapa blanda / Paperback
Tamaño / Size: 17 x 23 cm
Páginas / Pages: 480
Resumen / Summary:
Autor / Author: Varios autores
Editorial / Publisher: Alfaomega
Entrega / Delivery : Nacional / International
Envio desde / Ships from: Colombia
Condición / Condition: Nuevo / New
Tabla de contenido / Table of contents:
Capítulo 1
Introducción a la teoría de la computación
Máquinas abstractas y gramáticas formales
Características y formalismos de las máquinas abstractas
Automatismos y autonomía
Jerarquías de máquinas y gramáticas
Resumen del vínculo entre máquinas y gramáticas
¿Para qué sirven las máquinas abstractas?
Capítulo 2
Gramáticas y lenguajes formales
Introducción a los lenguajes
Lingüística matemática
Gramáticas formales
Jerarquía de Chomsky
Análisis sintáctico
Formas normales de gramáticas independientes del contexto
Actividades prácticas
Capítulo 3
Máquinas secuenciales y autómatas finitos deterministas
Conceptos generales
Máquinas secuenciales
Autómatas Finitos Deterministas (AFD)
Autómatas finitos bidireccionales
Actividades prácticas
Capítulo 4
Autómatas finitos no deterministas
No determinismo y autómatas
Autómatas Finitos No Deterministas (AFDN)
Transiciones Lambda
Extensión al tratamiento de palabras
Equivalencia con autómatas finitos deterministas
Gramáticas regulares y autómatas finitos
Expresiones regulares y autómatas finitos
Actividades prácticas
Capítulo 5
Autómatas con pila
Introducción
Autómatas con pila deterministas y no deterministas
Autómatas con pila asociados a una gramática
Analizadores sintácticos con preanálisis
Actividades prácticas
Capítulo 6
Autómata linealmente acotado y máquina de turing
Aspectos generales
Autómata linealmente acotado y máquina de Turing
Definiciones referidas al ALA y MT
Interpretaciones del ALA y MT
Máquina de Turing modular
Máquina de Turing No Determinista (MTND)
Variantes de la máquina de Turing
Complejidad de la máquina de Turing
lsoformismos de la máquina de Turingy el ALA con sus gramáticas
Actividades prácticas
Capítulo 7
Simuladores de máquinas abstractas
Introducción
Simulación y otros conceptos relacionados
Especificación de requerimientos de un SMA
Arquitectura de los simuladores
Simulación de Máquinas Abstractas
Otros simuladores disponibles en la Web
Actividades prácticas
Capítulo 8
Introducción a la semántica de lenguajes
Aspectos genera les
Conceptos de semántica de lenguajes
Metalenguajes para la especificación semántica de lenguajes
Gramáticas con atributos
Apéndice A
Conceptos de compiladores e intérpretes
Apéndice B
El alfabeto griego
Apéndice C
Símbolos y siglas
Bibliografía
No existen productos recomendados en este momento.
No existen productos recomendados en este momento.
