2021年11月3日

摘要： 6 不可判定的问题 6.1 判定问题 Q: $HALT(x,y)$对应什么单参数判定问题？ A: \(\Pi = (N,Y_\Pi)\) \(Y_\Pi = \{x|HALT(l(x),r(x))\}\) 注：一元谓词$HALT(l(x),r(x))\(不可计算，则\)\Pi$不可判定。 Q: 记号 阅读全文

摘要： 5 过程与文法 5.1 半Thue过程 Q: $\Rightarrow$是部分函数吗？ A: 一般来说，合法的结果可能不唯一。如果做一定人为约定（比如替换第一个出现的待考察字符串）则是。 Q: $\Rightarrow$和$\mathop \Rightarrow\limits^$之间有何蕴涵关系？ 阅读全文