000			01884nam a2200241Ia 4500
001			15330
003			SV-SsUGB
008			180402s2015||||es |||||||||||||| ||spa||
020			_a9789871609819
040			_aUGB
041	0		_aspa
082	4		_a511.3 _bG576
100	1		_aGiró, Juan _eAutor
245	1	0	_aLenguajes formales y teoría de autómatas / _cJuan Giró
250			_a1a. ed.
260			_aBuenos Aires _bAlfaomega Grupo Editor Argentino _c2015
300			_a462 p.
520			_a 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. Aspectos generales; Conceptos de semántica de lenguajes; Metalenguajes para la especificación semántica de lenguajes false"" Priority=""44"" Name=""
542	1		_aGiró, Juan _g2015 _i2015
650	4		_aLENGUAJES FORMALES; CONTROL AUTOMÁTICO; TEORÍA DE LAS MÁQUINAS; SISTEMA DE TEORÍA DE AUTÓMATAS
700	1		_aGiró, Juan
942			_cBK
999			_c10576 _d10576