2025年12月24日 — 可计算性理论
分类
可计算性理论
共 8 篇
2025年12月25日 — 可计算性理论
[COMPT 0x02] 非确定性/封闭性/正则表达式→FA
2025年12月27日 — 可计算性理论
[COMPT 0x03] FA→正则表达式/泵引理/上下文无关文法
2025年12月28日 — 可计算性理论
[COMPT 0x04] 上下文无关文法/下推自动机/CFG↔PDA
2025年12月30日 — 可计算性理论
[COMPT 0x05] CFL的泵引理/图灵机/图灵可识别&图灵可判定
2026年1月2日 — 可计算性理论
[COMPT 0x06] 图灵机变体/丘奇–图灵论题
2026年1月3日 — 可计算性理论
[COMPT 0x07] DFAs和CFGs的判定问题
2026年1月3日 — 可计算性理论