图灵机设计：子程序、多带、非确定性与等价性

本专题已纳入学习路线，正文将在路线架构审查通过后补充。