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.
Descargar Autòmats i llenguatges: verificació, implementació i concurrència (Materials didàctics) pdf Jairo Rocha
libro Autòmats i llenguatges: verificació, implementació i concurrència (Materials didàctics) gratis
Autòmats i llenguatges: verificació, implementació i concurrència (Materials didàctics) PDF Descargar Gratis
libro Autòmats i llenguatges: verificació, implementació i concurrència (Materials didàctics) pdf
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.