Detalls del llibre
El libro cubre las nociones típicas, como por ejemplo la indecidibilidad, los programas indeterministas, los problemas NP-completos, los autómatas finitos, las expresiones regulares, las gramáticas incontextuales y los autómatas con pila. Ahora bien, este libro no es un libro típico, por tres motivos: la sintaxis estructurada para programas y autómatas con pila (evitando las transiciones entre estados de las máquinas de Turing), la aplicación de un paradigma estructurado al indeterminismo de los programas (una introducción a la concurrencia) y el énfasis en la verificación de autómatas finitos (con una metodología práctica) y de autómatas con pila (como introducción a la verificación de programas usando invariantes). El objetivo del libro es crear a los estudiantes de informática el hábito duradero de escribir programas que respeten escrupulosamente las relaciones entre los símbolos usados.
Llegir més - Enquadernació Butxaca
- Autor/a JAIRO ROCHA CARDENAS
- ISBN13 9788483843529
- ISBN10 8483843528
- Pàgines 248
- Any Edició 2017
- Fecha de publicación 03/07/2017
- Idioma Català
- Col.lecció Materials didàctics
- Alto 240 mm
- Ancho 170 mm
- Peso 430 g
Ressenyes i valoracions
TEORIA DE LA COMPUTACIO
- De
- JAIRO ROCHA CARDENAS
- |
- Edicions UIB (2017)
- 9788483843529



