下列哪些属于艾伦·麦席森·图灵的成就（）。A. 图灵机[1]理论B. 非线性力学C. 自动程序设计[2]概念D. 参与了Colossus的研制

本题考查对艾伦·麦席森·图灵主要成就的了解。解题核心在于区分计算机科学领域与物理学领域的关键贡献，需结合图灵的生平与学术研究重点进行判断。破题关键在于明确图灵在计算机理论、人工智能及二战密码破译中的核心作用，而非跨领域成就。

选项分析

A. 图灵机理论

正确。图灵机是图灵1936年提出的形式计算模型，奠定了现代计算机科学的理论基础，被誉为“计算机科学之父”。

B. 非线性力学

错误。非线性力学属于物理学领域，主要代表人物为洛伦兹等，与图灵无关。

C. 自动程序设计概念

正确。图灵在“自动计算 Machinery”论文中提出程序设计自动化思想，为编译器理论和软件工程奠定基础。

D. 参与了Colossus的研制

正确。图灵在二战期间参与破译德军密码，Colossus是世界上首台可编程电子计算机，他为此作出重要贡献。