Descripción
TEORIA DE LA COMPUTACIO
Resumen del libro
Este manual ofrece una aproximación práctica y estructurada a los fundamentos de la teoría de la computación, diseñado para estudiantes de informática. A diferencia de los textos convencionales, el libro introduce una sintaxis estructurada para programas y autómatas con pila, evitando las transiciones de estado propias de las máquinas de Turing. Además, aplica un paradigma estructurado al indeterminismo de los programas como introducción a la concurrencia, y pone un énfasis especial en la verificación de autómatas finitos y con pila mediante metodologías prácticas. El objetivo principal es crear en el estudiante el hábito de escribir programas que respeten escrupulosamente las relaciones entre los símbolos utilizados.
¿De qué trata?
La obra aborda las nociones clásicas de la teoría de la computación, como 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. Sin embargo, se distingue por tres enfoques innovadores: en primer lugar, emplea una sintaxis estructurada para programas y autómatas con pila, simplificando la representación habitual. En segundo lugar, aplica un paradigma estructurado al indeterminismo, ofreciendo una introducción a la concurrencia. En tercer lugar, enfatiza la verificación de autómatas finitos mediante una metodología práctica y la de autómatas con pila como introducción a la verificación de programas utilizando invariantes. El libro busca inculcar en los estudiantes de informática un hábito duradero de escritura de programas que mantengan relaciones precisas entre los símbolos.
Temas principales
- Indecidibilidad y problemas NP-completos
- Programas indeterministas e introducción a la concurrencia
- Autómatas finitos, expresiones regulares y gramáticas incontextuales
- Autómatas con pila y su verificación mediante invariantes
- Sintaxis estructurada para programas y autómatas
- Metodología práctica de verificación de autómatas
¿Para quién está recomendado?
Está dirigido a estudiantes universitarios de informática que cursan asignaturas de teoría de la computación, lenguajes formales o autómatas. También es útil para profesionales que deseen profundizar en la verificación de programas y en enfoques estructurados para el indeterminismo y la concurrencia. Requiere conocimientos básicos de programación y matemáticas discretas.
Qué aporta este libro
- Un enfoque práctico y estructurado que facilita la comprensión de conceptos complejos como la indecidibilidad y los problemas NP-completos.
- Metodologías concretas para la verificación de autómatas finitos y con pila, aplicables a la programación real.
- Una introducción a la concurrencia desde el indeterminismo, preparando al lector para temas avanzados de computación.
- Hábitos de escritura de programas que respetan relaciones simbólicas, mejorando la calidad del código.
Ficha técnica
- Autor: JAIRO ROCHA
- Editorial: Edicions UIB
- Idioma: Catalán
- Tema: MATEMATICAS PARA CIENTIFICOS DE LA COMPUTACION, MATERIAL DIDACTICO
- Colección: MATERIALS DIDACTICS
- Encuadernación: Bolsillo
- Fecha de edición: 2012
- Número de páginas: 242
- Dimensiones: 240.0 x 17.0 cm
- Peso: 474.0 g
Valoración editorial
Se trata de un manual didáctico que destaca por su enfoque innovador y práctico dentro de la teoría de la computación. Al alejarse de la exposición teórica tradicional y centrarse en la verificación y la sintaxis estructurada, resulta especialmente útil para estudiantes que buscan aplicar los conceptos a la programación real. Su valor radica en la claridad metodológica y en la creación de hábitos de escritura rigurosos, lo que lo convierte en una herramienta complementaria ideal para cursos universitarios de informática.