Return to Video

01-49 More FSM Encoding

  • 0:00 - 0:05
    好的,再一次,我建议从画出这个有限状态机开始
  • 0:05 - 0:09
    所以对于输入a或b,移动到状态2
  • 0:09 - 0:11
    我们可以在这里结束,因为这是可选的
  • 0:11 - 0:16
    对于输入c或d,可以移动到状态3,并结束
  • 0:16 - 0:22
    在开始部分,我已经编码了输入a时从状态1到状态2的边界
  • 0:22 - 0:25
    输入b时从状态1到状态2的边界,a或者b
  • 0:25 - 0:28
    输入c时,从状态2到状态3
  • 0:28 - 0:31
    输入d时,从状态2到状态3
  • 0:31 - 0:33
    而且状态2和状态3都是接收状态
  • 0:33 - 0:36
    这下面,我写了3个测试案例
  • 0:36 - 0:39
    "ac"应该被接受
  • 0:39 - 0:42
    ”aX“不被接受,X与这个正则表达式没关系
  • 0:42 - 0:47
    然后是单独的"b",它应该被接受,因为c-d部分是可选的
  • 0:47 - 0:48
    让我们来看看
  • 0:48 - 0:51
    我们得到了预期的结果,true, false, true
  • 0:51 - 0:57
    你现在可能尝试将c-d自循环到状态2
  • 0:57 - 1:00
    而不是像这个有限状态机的右边部分那样
  • 1:00 - 1:05
    可是,这个自循环会改变"[a-b][c-d]*"的含义
  • 1:05 - 1:11
    如果你将这个自循环,acc会被接受,而它是不应该被接受的
  • 1:11 -
    所以自循环不是正确的做法
Cím:
01-49 More FSM Encoding
Leírás:

more » « less
Video Language:
English
Team:
Udacity
Projekt:
CS262 - Programming Languages
Duration:
01:15
hwingh hozzáadott egy fordítást

Chinese, Simplified subtitles

Felülvizsgálatok