Teoria de automatas

La informatica teorica o teoria de automatas y lenguajes formales se sustenta en una base matematica derivada del Algebra.

Este libro es accesible a cualquier lector con una formacion matematica universitaria elemental, e incluye el material matematico adicional necesario para que sea autocontenido.La informatica teorica trabaja con los tres paradigmas de lenguajes, maquinas y gramaticas; los clasifica segun su complejidad y los relaciona estudiando las equivalencias existentes entre ellos.

Este libro realiza de forma explicita un recorrido independiente por cada uno de los paradigmas, que facilita la comprension de sus peculiaridades, para estudiar posteriormente sus relaciones.

El orden de presentacion de los capitulos intenta seguir el orden cronologico de su aparicion.

Ademas de estos paradigmas clasicos, la investigacion en Informatica Teorica ha propuesto y estudiado otros que se pueden considerar extensiones de los mismos.

Este libro introduce algunos de los mas citados actualmente, lo que facilitara al lector investigaciones posteriores.

El libro se completa con material practico disponible en paginas web, que incluye problemas resueltos y versiones ejecutables de algoritmos descritos en el mismo, que facilitan la incorporacion del alumno a esta disciplina.