El objetivo de este libro es argumentar los elementos de juicio de los programadores y afinar 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 los autómatas finitos y con pila y los programas en un lenguaje de programación muy simple, pero suficiente para simular cualquier otro lenguaje. Este libro cubre las nociones básicas de la teoría de autómatas y lenguajes formales, como los autómatas finitos, las expresiones regulares, las gramáticas incontextuales, los autómatas.
libro Autòmats, gramàtiques i programes: verificació i concurrència (Materials didàctics) gratis
Download Autòmats, gramàtiques i programes: verificació i concurrència (Materials didàctics) PDF (PDF, EPUB, KINDLE)
Autòmats, gramàtiques i programes: verificació i concurrència (Materials didàctics) - PDF eBooks Online Free Download
Autòmats, gramàtiques i programes: verificació i concurrència (Materials didàctics) pdf Jairo Rocha
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.