5. 北京大学公开课：有穷自动机 1-3 确定型有穷自动机的形式化定义 - 1

北京大学公开课 理论计算机科学基础

科普 / 科技科学

北京大学公开课：理论计算机科学基础

共25集 4.1万人观看

---

• 
  1北京大学公开课：课程介绍

  05:45
• 
  2北京大学公开课：有穷自动机1-1 预备知识

  07:42
• 
  3北京大学公开课：有穷自动机 1-2 确定型有穷自动机例子 - 1

  05:43
• 
  4北京大学公开课：有穷自动机 1-2 确定型有穷自动机例子 - 3

  00:00
• 
  5北京大学公开课：有穷自动机 1-3 确定型有穷自动机的形式化定义 - 1

  08:57
• 
  6北京大学公开课：有穷自动机 1-3 确定型有穷自动机的形式化定义 - 3

  09:00
• 
  7北京大学公开课：有穷自动机 1-4 设计确定型有穷自动机

  05:55
• 
  8北京大学公开课：有穷自动机 1-5 正则运算与封闭性 - 1

  14:10
• 
  9北京大学公开课：有穷自动机 1-5 正则运算与封闭性 - 3

  14:15
• 
  10北京大学公开课：有穷自动机 1-6 非确定型有穷自动机

  06:22
• 
  11北京大学公开课：有穷自动机 1-7 DFA与NFA的等价性 - 1

  08:52
• 
  12北京大学公开课：有穷自动机 1-7 DFA与NFA的等价性 - 3

  08:50
• 
  13北京大学公开课：有穷自动机 1-8 正则语言的封闭性 - 1

  05:16
• 
  14北京大学公开课：有穷自动机 1-8 正则语言的封闭性 - 3

  05:19
• 
  15北京大学公开课：正则语言 2-1 正则表达式及形式化定义 - 1

  06:41
• 
  16北京大学公开课：正则语言 2-1 正则表达式及形式化定义 - 3

  06:38
• 
  17北京大学公开课：正则语言 2-2 正则表达式与有穷自动机的等价性（1） - 1

  12:19
• 
  18北京大学公开课：正则语言 2-2 正则表达式与有穷自动机的等价性（1） - 3

  12:25
• 
  19北京大学公开课：正则语言 2-3 正则表达式与有穷自动机的等价性（2） - 1

  06:41
• 
  20北京大学公开课：正则语言 2-3 正则表达式与有穷自动机的等价性（2） - 3

  06:38
• 
  21北京大学公开课：非正则语言

  06:24
• 
  22北京大学公开课：正则语言 2-5 泵引理的证明 - 1

  06:29
• 
  23北京大学公开课：正则语言 2-5 泵引理的证明 - 3

  06:34
• 
  24北京大学公开课：正则语言 2-6 泵引理的应用 - 1

  09:58
• 
  25北京大学公开课：正则语言 2-6 泵引理的应用 - 3

  10:02