×



Autòmats i llenguatges: verificació, implementació i concurrència

Autòmats i llenguatges: verificació, implementació i concurrència

Autòmats i llenguatges: verificació, implementació i concurrència


En este libro se trata la resolución de algunos problemas de especificación usando autómatas y lenguajes formales, y describiendo técnicas, basadas en razonamientos técnicos rigurosos, que permiten asegurar la corrección de las soluciones obtenidas. El objetivo básico de este libro es aumentar los elementos de juicio de los programadores y afirmar su intuición a fin y efecto de que puedan producir programas más correctos, por medio del entrenamiento en la programación y verificación de mecanismos de computación sencillos, como por ejemplo los autómatas finitos y con pila. El énfasis de este libro está en la justificación de las soluciones. Cuando se use el texto como guía en una asignatura será necesario seleccionar algunos temas sobre otros. El nivel de detalle de las demostraciones va evolucionando a medida que avanzan los capítulos. Así, mientras en los primeros capítulos sobre autómatas finitos y lenguajes regulares se encuentran demostraciones completas y seguramente más detalladas de lo estrictamente necesario, las demostraciones de los capítulos sobre gramáticas incontextuales ya no son tan minuciosas. Las de los capítulos sobre autómatas con montón son menos completas y, en los últimos capítulos sobre máquinas de Turing, la mayoría de veces son solo esbozos de las demostraciones.

Sin stock 14.00 €

En este libro se trata la resolución de algunos problemas de especificación usando autómatas y lenguajes formales, y describiendo técnicas, basadas en razonamientos técnicos rigurosos, que permiten asegurar la corrección de las soluciones obtenidas. El objetivo básico de este libro es aumentar los elementos de juicio de los programadores y afirmar su intuición a fin y efecto de que puedan producir programas más correctos, por medio del entrenamiento en la programación y verificación de mecanismos de computación sencillos, como por ejemplo los autómatas finitos y con pila. El énfasis de este libro está en la justificación de las soluciones. Cuando se use el texto como guía en una asignatura será necesario seleccionar algunos temas sobre otros. El nivel de detalle de las demostraciones va evolucionando a medida que avanzan los capítulos. Así, mientras en los primeros capítulos sobre autómatas finitos y lenguajes regulares se encuentran demostraciones completas y seguramente más detalladas de lo estrictamente necesario, las demostraciones de los capítulos sobre gramáticas incontextuales ya no son tan minuciosas. Las de los capítulos sobre autómatas con montón son menos completas y, en los últimos capítulos sobre máquinas de Turing, la mayoría de veces son solo esbozos de las demostraciones.

Datos del producto

Editorial: Edicions UIB
ISBN: 9788476328293
Publicación: 09/2003
Formato: Rústica
Idioma: Catalán
Número de páginas: 285

Comentarios

Apodo

Título

Comentario





Aviso de cookies

Esta web utiliza cookies propias y de terceros para mejorar tu experiencia de navegación y realizar tareas de analítica.