使用 While 语言讲述可计算性和复杂性理论,避免烦琐的图灵机语言。

史迪威致敬费利克斯.克莱茵《高观点下的初等数学》。史迪威致敬费利克斯.克莱茵《高观点下的初等数学》。...