Los primeros lenguajes de programaci n surgieron de la idea de Charles Babagge

Los primeros lenguajes de programación surgieron de la idea de Charles Babagge, la cual se le ocurrió a este hombre a mediados del siglo XIX. Era un profesormatemático de la universidad de Cambridge e inventor ingles, que al principio del siglo XIX predijo muchas de las teorías en que se basan los actualesordenadores. Consistía en lo que él denominaba la maquina analítica, pero que por motivos técnicos no pudo construirse hasta mediados del siglo XX. Con él colaboroAda Lovedby, la cual es considerada como la primera programadora de la historia, pues realizo programas para aquélla supuesta maquina de Babagge, en tarjetasperforadas.
En los últimos 20 años se ha visto la aparición de un gran numero de textos en los temas de lenguajes formales y autómatas. 
La teoría de lacomputación trata con modelos de calculo abstractos que describen con distintos grados de precisión las diferentes partes y tipos de computadoras.
Se ha desarrolladogracias a la reunión, por afortunadas coincidencias, de distintos campos de conocimiento y descubrimientos realizados a principios del siglo XX. Los pioneros eneste tópico sin duda alguna fueron: Kurt Godel, Alonzo Chuch, Mil Post, Alan Turing y Stephen Kleene, los cuales se fundamentan en la lógica matemática.
unagran destincion entre lenguajes formales que tienen reglas sintácticas y semánticas rígidas, concretas y bien definidas contra los lenguajes naturales cuyasintaxis y semántica no se pueden controlar fácilmente y para caracterizar cada uno de los lenguajes es necesario un conjunto de reglas gramaticales adecuadas.