| 000 | 04087aam a22003492i 4500 | ||
|---|---|---|---|
| 003 | PE-TmUNAS | ||
| 005 | 20231110130215.0 | ||
| 006 | a||||fr|||| 00| 0 | ||
| 007 | ta | ||
| 008 | 211206s2017 sp ak||frfn|| 00| 0 spasd | ||
| 017 |
_aM-23463-2017 _dBiblioteca Nacional de España |
||
| 020 | _a978-84-9961-285-0 | ||
| 040 |
_aBiblioteca Central de la Universidad Nacional Agraria de la Selva _bspa _cCatalogación por la Biblioteca Central de la Universidad Nacional Agraria de la Selva, transcrita por la Biblioteca Central de la Universidad Nacional Agraria de la Selva, sin modificaciones posteriores _dBiblioteca Central de la Universidad Nacional Agraria de la Selva _erda |
||
| 041 | 0 |
_aspa _hspa |
|
| 082 | 0 | 4 |
_222 _a629.892 |
| 245 | 1 | 0 |
_aIntroducción a la Teoría de Autómatas, Gramáticas y Lenguajes / _cElena Gaudioso Vásquez [y] Tomás García Saiz.. |
| 250 |
_aPrimera edición, _bprimera reimp. 2018 |
||
| 264 | 3 | 1 |
_a[Madrid, España] : _bEditorial Centro de estudios Ramón Areces, S. A., _c2017. |
| 264 | 3 | 4 | _c©2017 |
| 300 |
_a219 páginas : _bIlustraciones (blanco y negro) ; _c24 cm |
||
| 336 |
_2rdacontent _atexto |
||
| 337 |
_2rdamedia _asin mediación |
||
| 338 |
_2rdacarrier _avolumen |
||
| 500 | _aIncluye solucionario de ejercicios. | ||
| 504 | _aBibliografía: p. 219. | ||
| 505 | 2 | _aConceptos previos : Conceptos fundamentales de la teoría de conjuntos. Conceptos fundamentales de la teoría de autómatas. Ejercicios -- Autómatas finitos : Autómatas finitos. Elementos de un autómata finito. Definición formal de autómata finito determinista. Representaciones de los autómatas finitos deterministas. Representaciones de los autómatas finitos deterministas. El lenguaje de un autómata finito determinista. Ejemplos de lenguajes regulares. Autómatas finitos no deterministas. Equivalencia entre autómatas finitos deterministas y no deterministas. Ejercicios -- Gramáticas regulares : Definición de gramáticas regulares. Ejemplos de gramáticas regulares. Gramáticas regulares y autómatas finitos. Ejercicios -- Expresiones regulares : Introducción. Definición de las expresiones regulares. Lenguaje representado por un expresión regular. Autómatas finitos y expresiones regulares. Propiedades de las operaciones de las expresiones regulares. Ejercicios -- Propiedades de los lenguajes regulares y lenguajes no regulares : Propiedades de los lenguajes regulares. Introducción a los lenguajes no regulares. Introducción a la jerarquía de Chomsky. Ejercicios -- Lenguajes y gramáticas independientes del contexto : Definición de las gramáticas independientes del contexto. Derivaciones en las gramáticas independientes del contexto. Lenguaje de una gramática independiente del contexto. Introducción a los arboles de derivación. Forma normal de Chomsky. Transformación a forma normal de Chomsky. Ejercicios -- Autómatas a pila : Introducción a los autómatas a pila. Definición formal de un autómata a pila. Lenguajes aceptados por los autómatas a pila. Autómatas a pila y gramáticas independientes del contexto. Autómatas a pila deterministas. Ejercicios -- Propiedades de los lenguajes independientes del contexto : El lema de bombeo para lenguajes independientes del contexto. Los lenguajes independientes del contexto en la jerarquía de Chomsky. Propiedades delos lenguajes independientes del contexto. Ejercicios -- Introducción a las maquinas de Turing : Limites de la computación. Definición de una maquina de Turing. Descripciones instantáneas. Diagramas de transiciones para las maquinas de Turing. El lenguaje de una maquina de Turing: lenguaje recursivamente enumerables. Extensiones de máquina de Turing básica. Lenguajes recursivamente enumerables en la jerarquía de Chomsky. Ejercicios -- Ejercicios de autoevaluación -- Solución a los ejercicios. | |
| 521 | _aMaterial bibliográfico para estudiantes universitarios, docentes e investigadores. | ||
| 526 | 0 | _aIngeniería en Informática y Sistemas. | |
| 546 | _aEn Español. | ||
| 942 |
_2ddc _cBK |
||
| 998 | _crjas/jjrg/bmsda/zmvv/ui | ||
| 999 |
_c153633 _d153633 |
||