北航计算引论论文,讲述计算引论中著名的图灵机停机问题。