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

1、课堂要点

  • 空串
  • 有穷自动机
  • 非确定型有穷自动机

2、期末考试

P30图1-16,q1为啥能到q3?,因为存在空串。

3、课后作业

证明定理1.19

每一台非确定型有穷自动机都等价于某一台确定型有穷自动机。

Edit this page on GitHub
Docs正则语言1
Docs正则语言3
Table of Contents
  • 1、课堂要点
  • 2、期末考试
  • 3、课后作业

Powered by Docus