• 第一课
    • 绪论
    • 正则语言1
    • 正则语言2
    • 正则语言3
    • 正则语言4
    • 正则语言5
    • 上下文无关文法1
    • 上下文无关文法2
    • 上下文无关文法3
    • 丘奇-图灵论题1
    • 丘奇-图灵论题2
    • 丘奇-图灵论题3
    • 丘奇-图灵论题4
    • 可判定性
    • 可归约性1
    • 可归约性2
    • 期末复习1
    • 期末复习2
    • 期末复习3
    • 期末复习4
    • 期末复习5
    • 期末复习6
    • 期末复习7
    • 期末复习8
    • 期末复习9
    • 期末考试要点

1、课堂要点

可归约性

Edit this page on GitHub
Docs可判定性
Docs可归约性2

Powered by Docus