You might also like

Availability alert

More about TEORIA DE LA COMPUTACIO

• Book details
• Synopsis
• Trending among others

You get 43 loyalty points

Book synopsis

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.

Book details

• Full title: TEORIA DE LA COMPUTACIO
• Author: ROCHA CARDENAS, JAIRO
• Language: Catalan
• Binding: Paperback
• Number of pages: 248
• EAN: 9788483843529
• ID: 36078959
• Publisher: Edicions UIB
• Weight: 434 g
• Dimensions: 240 × 170 mm
• Date of publishing: 03. July 2017

---

---

---