Lenguaje formales y teoría de autómatas / Juan Francisco Giro, Juan Vásquez, Brenda Meloni, Leticia Constable
Tipo de material: TextoEditor: México : Alfaomega, 2015Edición: Primera ediciónDescripción: 480 páginas : Ilustraciones ; 23x17cmISBN: 978-987-1609-81-9Tema(s): Sistema de teoría de autómataClasificación CDD: 629.892 G526l 2015 Resumen: 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.Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libros | Biblioteca UTECO En Estantería | Colección General | 629.892 G526l 2015 (Navegar estantería) | Ej.1 | Disponible | 022226 |
Navegando Biblioteca UTECO Estantes, Ubicación: En Estantería, Código de colección: Colección General Cerrar el navegador de estanterías
629.89 C334i 2016 Instalaciones domóticas / | 629.89 C334i 2016 Instalaciones domóticas / | 629.89 C334i 2016 Instalaciones domóticas / | 629.892 G526l 2015 Lenguaje formales y teoría de autómatas / | 629.892 P438f 2015 Fundamentos de robótica y mecatrónica con MATLAB Y Simulink / | 629.892 P438f 2015 Fundamentos de robótica y mecatrónica con MATLAB Y Simulink / | 629.892 P438f 2015 Fundamentos de robótica y mecatrónica con MATLAB Y Simulink / |
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.
No hay comentarios en este titulo.