1936年图灵在一篇论文中描绘了一种自动机器模型，现在人们把它叫（)，它奠定了现代计算科学的理论基础。