打赏

相关文章

速通 计算理论(核心部分)

半径不是直径除二吗???只包含 Lec 5 ~ Lec 10 中考试包含的部分。 Lec 5 【定理】\(\mathsf{ALL}_{\mathsf{CFG}}\) 不可判定。我们可以规约 \(A_{TM}\) 到它: 首先我们可以尝试拿 CFG 生成 computation history 的…

手机版浏览

扫一扫体验

微信公众账号

微信扫一扫加关注

返回
顶部