Lenguajes y Autómatas: Una perspectiva funcional con Racket

Autores/as

Abdiel E. Cáceres González
https://orcid.org/0000-0003-2858-6069

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.

Biografía del autor/a

Abdiel E. Cáceres González

Nació en la Ciudad de México. Es Licenciado en Computación por la Universidad Juárez Autónoma de Tabasco. Maestro en Ciencias en Ingeniería Eléctrica con opción en Computación por el  Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, Doctor en Ciencias en Ingeniería Eléctrica con opción en Computación por el  Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional. Actualmente es Profesor investigador de tiempo completo en la Universidad Juárez Autónoma de Tabasco, en la División Académica de Ciencias Básicas. Miembro Profesional de la ACM (Association for Computing Machinery) desde 2007 y consultor independiente en temas de fundamentos teóricos de las ciencias computacionales, inteligencia artificial y métodos de optimización no convencionales.

Los temas de interés profesional son lógica computacional, matemáticas discretas, autómatas finitos, autómatas celulares y sistemas basados en agentes.

Publicado

October 17, 2019