|
|
|
|
| LEADER |
02473nam a2200421a 44500 |
| 001 |
UBP15734 |
| 003 |
AR-CdUBP |
| 005 |
20220310161938.0 |
| 008 |
150907s2015 agad gr 000 spa|d |
| 999 |
|
|
|c 30565
|d 30565
|
| 020 |
|
|
|a 978871609819
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|c AR-CdUBP
|d AR-CdUBP
|
| 041 |
|
|
|a spa
|
| 080 |
|
|
|a 004.43:519.7
|
| 245 |
0 |
0 |
|a Lenguajes formales y teoría de autómatas /
|c Juan Giró ... [et al.]
|
| 250 |
|
|
|a 1a. ed.
|
| 260 |
|
|
|a Buenos Aires :
|b Alfaomega,
|c 2015
|
| 300 |
|
|
|a 462 p. :
|b gráficos ;
|c 23 cm.
|
| 500 |
|
|
|a La Biblioteca posee: 4 ej.
|
| 500 |
|
|
|a Otros autores: Juan Vázquez, Brenda Meloni, Leticia Constable.
|
| 504 |
|
|
|a Posee índice.
|
| 505 |
0 |
|
|a CAPITULO 1: Introducción a la teoría de la computación. CAPITULO 2: Gramáticas y lenguajes formales. CAPITULO 3: Máquinas secuenciales y autómatas finitos deterministas. CAPITULO 4: Autómatas finitos no deterministas. CAPITULO 5: Autómatas con pila. CAPITULO 6: Autómata linealmente acotado y máquina de Turing. CAPITULO 7: Simuladores de máquinas abstractas. CAPITULO 8: Introducción a la semántica de lenguajes. APENDICE A: Conceptos de compiladores e intérpretes. APENDICE B: El alfabeto griego. APENDICE C: Símbolos y siglas. BIBLIOGRAFÍA.
|
| 520 |
|
|
|a Se trata de un libro para un curso de nivel de grado de Ingeniería en Sistemas, que fue escrito por ingenieros y está destinado a estudiantes de ingeniería, que sin dejar de reconocer la importancia de los fundamentos, pone énfasis en mostrar la aplicación de los diferentes conceptos en la resolución de problemas concretos. La finalidad es contribuir a desarrollar el criterio lógico en los estudiantes, a la vez que ofrecer modelos compactos y eficaces de enorme utilidad en la resolución de los problemas clásicos del desarrollo de software. En la web de la editorial encontrará simuladores de autómatas conjuntamente con las indicaciones para descargarlos y operarlos.
|
| 650 |
|
4 |
|a Informática
|9 341
|
| 650 |
|
4 |
|a ROBÓTICA
|9 3334
|
| 650 |
|
4 |
|a GRAMÁTICAS
|9 12413
|
| 650 |
|
4 |
|a SEMANTICA
|9 12414
|
| 650 |
|
4 |
|a MÁQUINAS DE TURING
|9 12412
|
| 700 |
1 |
|
|a Giró, Juan
|9 12408
|
| 700 |
1 |
|
|a Vázquez, Juan Carlos Jesús,
|9 12409
|d 1959-
|
| 700 |
1 |
|
|a Meloni, Brenda
|9 12410
|
| 700 |
1 |
|
|a Constable, Leticia
|9 12411
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 15734
|b UBP
|
| 937 |
|
|
|a RA 2020 ; A 2015
|
| 942 |
|
|
|c BK
|2 udc
|
| 945 |
|
|
|a STF
|a ACG
|
| 984 |
|
|
|a 004.43:519.7
|b L547
|