{"product_id":"9788476329429","title":"Autòmats, gramàtiques i programes: verificació i concurrència","description":"\u003ch2\u003eAutòmats, gramàtiques i programes: verificació i concurrència\u003c\/h2\u003e\n\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e\n\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl 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.\u003c\/p\u003e\n\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutómatas finitos y expresiones regulares: definición, construcción y verificación.\u003c\/li\u003e\n\u003cli\u003eGramáticas incontextuales y autómatas con pila: generación y reconocimiento de lenguajes.\u003c\/li\u003e\n\u003cli\u003eProgramas deterministas e indeterministas: diseño, verificación y limitaciones.\u003c\/li\u003e\n\u003cli\u003eIndecibilidad y límites de la computación: problemas que no pueden resolverse algorítmicamente.\u003c\/li\u003e\n\u003cli\u003eVerificación de programas: técnicas para demostrar la corrección de mecanismos de computación sencillos.\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e\n\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eDesarrolla la intuición y el criterio profesional para producir programas más correctos y fiables.\u003c\/li\u003e\n\u003cli\u003eOfrece un enfoque práctico de la verificación, aplicado a mecanismos de computación sencillos pero representativos.\u003c\/li\u003e\n\u003cli\u003eProporciona una sintaxis estructurada para autómatas con pila y programas, facilitando su implementación y análisis.\u003c\/li\u003e\n\u003cli\u003eIntroduce el paradigma indeterminista como herramienta para modelar soluciones más flexibles y complejas.\u003c\/li\u003e\n\u003cli\u003ePresenta los contenidos con un nivel y profundidad adaptados a una asignatura universitaria de ingeniería informática.\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: Rocha; Jairo \/ Rosselló; Francesc\u003c\/li\u003e\n\u003cli\u003eEditorial: Edicions UIB\u003c\/li\u003e\n\u003cli\u003eIdioma: Catalán\u003c\/li\u003e\n\u003cli\u003eTema: Cibernética y teoría de sistemas, Teoría del juego, Matemáticas\u003c\/li\u003e\n\u003cli\u003eColección: Materials Didàctics\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Bolsillo\u003c\/li\u003e\n\u003cli\u003eFecha de edición: 2005\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 310\u003c\/li\u003e\n\u003cli\u003eDimensiones: 24.0 cm x 17.0 cm\u003c\/li\u003e\n\u003cli\u003ePeso: 640.0 gr\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e","brand":"EDICIONS UIB","offers":[{"title":"Default Title","offer_id":53555973718363,"sku":"9788476329429","price":15.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978847632942.jpg?v=1783651562","url":"https:\/\/kalamobooks.com\/products\/9788476329429","provider":"Kalamo Books","version":"1.0","type":"link"}