Descripción
TEORIA DE LA COMPUTACIO
Resumen del libro
Este manual ofrece una aproximación estructurada y práctica a los fundamentos de la teoría de la computación. A través de un enfoque innovador, el autor presenta los conceptos clásicos de indecidibilidad, autómatas y gramáticas, pero con un énfasis especial en la verificación y el diseño estructurado de programas. El lector encontrará una metodología aplicada para comprender los problemas NP-completos, las expresiones regulares y los autómatas con pila, desarrollando un hábito riguroso en la escritura de código que respete las relaciones simbólicas.
¿De qué trata?
La obra aborda las nociones esenciales de la teoría de la computación desde una perspectiva no convencional. Se examinan la indecidibilidad, los programas indeterministas y los problemas NP-completos, pero el texto se distingue por tres aportaciones clave: una sintaxis estructurada para programas y autómatas con pila que evita las transiciones entre estados típicas de las máquinas de Turing; la aplicación de un paradigma estructurado al indeterminismo de los programas, funcionando como una introducción a la concurrencia; y un énfasis práctico en la verificación de autómatas finitos y autómatas con pila, utilizando invariantes como herramienta de validación.
Temas principales
- Indecidibilidad y problemas NP-completos
- Autómatas finitos y expresiones regulares
- Gramáticas incontextuales y autómatas con pila
- Programas indeterministas y concurrencia
- Verificación de autómatas mediante metodología práctica e invariantes
- Sintaxis estructurada para programas y autómatas
¿Para quién está recomendado?
Este libro está dirigido a estudiantes de informática que deseen profundizar en los fundamentos teóricos de la computación con un enfoque aplicado y riguroso. También es útil para profesionales que busquen reforzar su comprensión de la verificación de programas y el diseño estructurado de autómatas.
Qué aporta este libro
- Una metodología práctica para la verificación de autómatas finitos y con pila.
- Un enfoque estructurado que evita las transiciones clásicas de las máquinas de Turing.
- Una introducción a la concurrencia a través del indeterminismo de los programas.
- El desarrollo de un hábito riguroso en la escritura de código basado en relaciones simbólicas.
Ficha técnica
- Autor: ROCHA CARDENAS, JAIRO
- Editorial: Edicions UIB
- Idioma: cat
- Tema: MATEMATICAS PARA CIENTIFICOS DE LA COMPUTACION
- Colección: MATERIALS DIDACTICS
- Encuadernación: Bolsillo
- Fecha de edición: julio de 2017
- Número de páginas: 248
- Peso: 434 g
Valoración editorial
Este manual destaca por su enfoque didáctico y estructurado, que facilita la comprensión de conceptos complejos de la teoría de la computación. La propuesta de evitar las transiciones entre estados y aplicar un paradigma estructurado al indeterminismo resulta especialmente valiosa para estudiantes que buscan una base sólida en verificación y diseño de programas. Es una obra recomendable para quienes quieran ir más allá de los planteamientos tradicionales y adquirir un método práctico y riguroso.