数理逻辑5 -- 计算理论2

图灵机的示意图（Diagram） 上节笔记给出了图灵机的定义，那一大堆四元组构成的指令集真个是比汇编代码还要难懂。不仅难写，更难检查。因此，我们需要一种“简便”的图灵机表示方式。 我们说，一个图灵机的示意图包含以下内容： (1) 令 F1,F2,...,Fr F 1 , F 2 , . . . , F r 为任意图灵机，它们有共同的字符集为 A={a0,a1,...,ak} A = { a 0 ,

>>阅读原文<<