El orielorigen de los modelos abstractos de computación se encuadra en los años '30 (antes de que existieran los ordenadores modernos), para el trabajo de los [[lógica|lógicos]] [[Alonzo Church]], [[Kurt Gödel]], [[Stephen Kleene]], [[Emil Leon Post]], y [[Alan Turing]]. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo teórico como en abundantes aspectos de la práctica de la computación; previendo incluso la existencia de ordenadores de propósito general, la posibilidad de interpretar programas, la dualidad entre ''[[software]]'' y ''[[hardware]]'', y la representación de lenguajes por estructuras formales basados en reglas de producción.
El punto inicial de estos primeros trabajos fueron las [[Problemas de Hilbert|cuestiones fundamentales]] que [[David Hilbert]] formuló en [[1900]], durante el transcurso de un congreso internacional.
