Giro, Juan Francisco

Lenguaje formales y teoría de autómatas / Juan Francisco Giro, Juan Vásquez, Brenda Meloni, Leticia Constable - Primera edición - México : Alfaomega, 2015 - 480 páginas : Ilustraciones ; 23x17cm.

Incluye referencia bibliográfica e índice

INTRODUCCION A LA TEORIA DE LA COMPUTACION. Maquinas abstractas y gramáticas formales; Características y formalismos de las maquinas abstractas; Automatismos y autómatas. GRAMATICAS Y LENGUAJES FORMALES. Introducción a los lenguajes; Lingüísticas matemática; Gramáticas formales. MAQUINAS SECUENCIALES Y AUTOMATAS FINITOS DETERMINISTAS. Conceptos generales; Maquinas secuenciales; Autómatas finitos deterministas (AFD). AUTOMATAS FINITOS NO DETERMINISTAS. No deterministas y autómatas; Autómatas finitos no deterministas (AFDN); Transiciones lambda. AUTOMATAS CON PILA. Introducción; Autómatas con pilas deterministas y no deterministas; Autómatas con pila asociados a una gramática. AUTOMATA LINEALMENTE ACOTADO Y MAQUINA DE TURING. Aspectos generales; Autómata linealmente acotado y máquina de turing; Definiciones referidas al ALA y MT. SIMULADORES DE MAQUINAS ABSTRACTAS. Introducción; Simulación y otros conceptos relacionados; Especificación de requerimientos de un SMA. INTRODUCCION A LA SEMANTICA DE LENGUAJES.

978-987-1609-81-9


Sistema de teoría de autómata

629.892 G526l 2015