说，阿隆佐·邱奇曾以公式化(formulaic)的方式表达λ演算。图灵机是一种纸带标记(tape-marking)机器(就像电话公司用的那种)操作方法抽象化后的集合。图灵机这种透过有限数字(finite number)呈现机器的方式，奠定了程式如同冯·诺伊曼结构计算机中的资料一样地储存的基础。但不同于λ演算，图灵机的程式码并没有办法成为高阶程式语言的基石，这是是因为它主要的用途是分析演算法的复杂度。就像许多历史上的"第一次"一样，第一个现代程式语言也很难界定。最一开始是因为硬体限制而限定了语言，打孔卡允