“计算模型简介”的非官方解决方案手册
这是宋方敏教授的《计算模型简介》一书的解决方案。 这本教科书已在南京大学的研究生课程中使用,我们希望该解决方案手册对参加本课程的每个人都有用。
如果您打算改善我们的解决方案,则可以派生一个存储库并通知我退出您的派生,或者只是发布问题。 如果您要进行较大的修订,则拉取请求更合理。 另一方面,如果您进行了微小的更改并且在修改代码时感到不便,只需发布“问题”,作者即可解决。 欢迎进行任何形式的改进:拼写更正,更好的解决方案,证明方面的挑战,仅举几例。 所有贡献者都将保存在“学分”部分中。
您可以“观看”该项目以查看其当前进度。
更新清单
2015年7月2日:郭向宇合并到3.25的证明中
2012年5月25日:初始版本,不包含Turing Machine解决方案
2023-03-01 13:52:51
343KB
TeX
1