• 1. (2021高一上·太原期末) 阿兰·图灵提出了图灵机模型，建立了指令程序及通用机器执行程序的理论模型，奠定了计算理论的基础。