Lenguajes y Autómatas: Una perspectiva funcional con Racket

Autores

Abdiel E. Cáceres González

Sinopsis

Este libro es el resultado de algunos años de coleccionar y mejorar funciones que se han empleado en cursos de Lenguajes Formales y Autómatas, en la Universidad Juárez Autónoma de Tabasco, en México. El contenido de este material abarca diferentes temas fundamentales, desde lógica proposicional hasta la teoría clásica de autómatas finitos. El enfoque presentado es completametne práctico, programando casi todas las funciones matemáticas que usualmente se estudian solamente en teoría, en prácticamente la mayoría de los libros de texto.  Se ha empleado el lenguaje de programación DrRacket para implementar las funciones matemáticas, porque es un lenguaje con una sintaxis muy simple y fácil de aprender, lo cual es sumamente útil para expresar en código las ideas y conceptos de la teoría de lenguajes formales y autómatas finitos.

Cubierta para Lenguajes y Autómatas: Una perspectiva funcional con Racket
Publicado
October 17, 2019