计算理论

图灵机与可计算性理论：艾伦·图灵的思想实验与“停机问题”