000			03751nam a2200361Ia 4500
001			008848
003			BOOKS
008			220712b2001 py ||||| |||| 00| 0 spa d
010			_a008848
020			_a970-15-0661-8
041			_aEspañol
100			_aGarcía, Pedro _932974
700			_aPérez, TomásRuíz, JoséSagarra, Encarna _932975
700			_aSempere, José M _932976
700			_aVázquez de Parga, M _936415
245			_aTeoría de autómatas y lenguajes formales
260			_bAlfaomega, _aMéxico : _c2001
300			_a167 p.
505	0		_aGeneralidades sobre lenguajes. Gramáticas, Alfabetos, palabras y lenguajes, Operaciones con lenguajes, Operaciones booleanas, Producto (concatenación) de lenguajes, Potencia de un lenguaje, Cierre estrella (de Kleene) y cierre positivo, Cociente de un lenguaje por una palabra, Cociente de lenguajes, Inversión (reverso), Sustitución, Homomorfismo, Homomorfismo inverso, Gramáticas, Tipos de gramáticas. Jerarquía de Chomsky, Gramáticas regulares, Gramáticas incontextuales, Gramáticas contextuales, Gramáticas no restringidas o con estructura de frase, Propiedades de cierre, Ejercicios, Autómatas finitos, Introducción, Autómata Finito Determinista, Tabla y diagrama de transiciones, Extensión de la función de transición a cadenas, Lenguaje aceptado por un AFD, Ejemplos de aplicación, Autómata Finito no Determinista, Extensión de la función de transición a cadenas, Lenguaje aceptado por un AFN, Equivalencia entre AFD y AFN, Autómata Finito con transiciones vacías, Lenguaje aceptado por un AFA, Equivalencia entre AFA y AFN, Equivalencia entre Autómatas Finitos y Gramáticas Regulares, Ejercicios, Teorema de Nerode, Minimización de Autómatas Finitos, Preliminares matemáticos, Teorema de Nerode, Minimización de Autómatas Finitos, Ejercicios, Expresiones regulares, Definición y propiedades, Equivalencia entre expresiones regulares y autómatas finitos, Obtención de AF lambda a partir de expresiones regulares, Obtención de expresiones regulares a partir de autómatas finitos, Obtención de AFD a partir de expresiones regulares: el método de las derivadas, Reglas para el cálculo de derivadas, Método de obtención de autómatas finitos deterministas, Sistemas de ecuaciones en expresiones regulares, Sistemas de ecuaciones asociados a gramáticas y autómatas, Sistemas de ecuaciones asociados a autómatas finitos, Sistemas de ecuaciones asociados a gramáticas regulares, Ejercicios, Propiedades de la clase de los lenguajes regulares, El lema de bombeo para lenguajes regulares, Propiedades de cierre, Introducción, Unión, Concatenación, Clausura, Complementación, Intersección, Diferencia, Homomorfismos, Homomorfismos inversos, Cociente por la izquierda, Cociente por la derecha, Inversión (reversión), Otras aplicaciones de las propiedades de cierre, Ejemplos relativos a la aplicación de operaciones de cierre, Propiedades de decisión de los lenguajes regulares, Introducción, Algunos problemas decidibles para los lenguajes regulares, Ejercicios, Máquinas secuenciales, Transductores, Máquinas de Mealy y de Moore, Definición de los modelos, Equivalencias, Minimización, Ejercicios, Redes neuronales, Introducción. Modelos discretos y continuos, El modelo de McCulloch-Pitts, Células y estados, Agrupación de células y redes neuronales, Equivalencia entre autómatas finitos y redes neuronales.
650			_aINFORMATICA _9527
650			_aGRAMATICA _91697
650			_aLENGUAJES _92880
650			_aREDES _91589
900			_aMX
901			_a2003-06-21
904			_aPY-BUAA
905			_aR.A
906			_aINFORMATICA
907			_a2003
908			_a06
908			_a21
942			_cLIBRO
999			_c7663 _d7663