MwingFly

摘要： 计数 选择特定的计算模型：图灵机。用执行步数测量时间，用磁带格数测量空间。具体地说： 让图灵机具有任意定长的字母表。注意如果进行更严格的假设，只允许两个磁带符号，则步数与磁带格数会增加，但只是增加一个常量格数。 用单带图灵机。如果放松这个限制，使用多带图灵机。单带图灵机上执行程序所要的步数最多增加到 阅读全文