Descripción
Autòmats, gramàtiques i programes: verificació i concurrència
Resumen del libro
Este manual ofrece una aproximación práctica y rigurosa a la teoría de autómatas, gramáticas formales y lenguajes de programación, con un enfoque centrado en la verificación de programas. A través del entrenamiento en la programación y verificación de mecanismos de computación sencillos (autómatas finitos y con pila, y un lenguaje de programación básico pero completo), el lector desarrollará criterios sólidos para producir código más fiable. La obra cubre desde expresiones regulares y gramáticas incontextuales hasta la indecibilidad, destacando por su énfasis en la verificación, el uso de sintaxis estructurada y la aplicación del paradigma indeterminista.
¿De qué trata?
El libro aborda las nociones fundamentales de la teoría de autómatas y lenguajes formales, pero con una orientación distintiva hacia la práctica de la programación. Se estructura en torno a tres pilares: los autómatas finitos y las expresiones regulares, las gramáticas incontextuales y los autómatas con pila, y los programas deterministas e indeterministas. A diferencia de otros textos del área, este manual pone un énfasis especial en la verificación como herramienta para mejorar la intuición del programador y la corrección del código. Además, introduce una sintaxis estructurada para programas y autómatas con pila, y aplica el paradigma indeterminista como recurso para modelar soluciones más flexibles. El nivel de los contenidos es equiparable al de una asignatura universitaria de ingeniería informática.
Temas principales
- Autómatas finitos y expresiones regulares: definición, construcción y verificación.
- Gramáticas incontextuales y autómatas con pila: generación y reconocimiento de lenguajes.
- Programas deterministas e indeterministas: diseño, verificación y limitaciones.
- Indecibilidad y límites de la computación: problemas que no pueden resolverse algorítmicamente.
- Verificación de programas: técnicas para demostrar la corrección de mecanismos de computación sencillos.
¿Para quién está recomendado?
Este libro está dirigido a estudiantes de ingeniería informática, ciencias de la computación o disciplinas afines que cursen asignaturas de teoría de autómatas, lenguajes formales o verificación de programas. También es útil para programadores y profesionales del software que deseen profundizar en los fundamentos teóricos de la computación y mejorar la fiabilidad de su código mediante técnicas de verificación. Requiere conocimientos básicos de programación y matemáticas discretas.
Qué aporta este libro
- Desarrolla la intuición y el criterio profesional para producir programas más correctos y fiables.
- Ofrece un enfoque práctico de la verificación, aplicado a mecanismos de computación sencillos pero representativos.
- Proporciona una sintaxis estructurada para autómatas con pila y programas, facilitando su implementación y análisis.
- Introduce el paradigma indeterminista como herramienta para modelar soluciones más flexibles y complejas.
- Presenta los contenidos con un nivel y profundidad adaptados a una asignatura universitaria de ingeniería informática.
Ficha técnica
- Autor: Rocha; Jairo / Rosselló; Francesc
- Editorial: Edicions UIB
- Idioma: Catalán
- Tema: Cibernética y teoría de sistemas, Teoría del juego, Matemáticas
- Colección: Materials Didàctics
- Encuadernación: Bolsillo
- Fecha de edición: 2005
- Número de páginas: 310
- Dimensiones: 24.0 cm x 17.0 cm
- Peso: 640.0 gr
Valoración editorial
Este manual destaca por su enfoque diferenciador dentro de la literatura sobre autómatas y lenguajes formales. Al priorizar la verificación y la aplicación práctica, conecta directamente la teoría con la práctica profesional de la programación. La inclusión de sintaxis estructurada y el tratamiento del indeterminismo lo convierten en una herramienta didáctica valiosa para estudiantes que buscan no solo comprender los conceptos, sino también aplicarlos para mejorar la calidad del software que desarrollan.