作者fmtshk (fmtshk)
看板Grad-ProbAsk
标题[理工] 离散_非决定状态机
时间Tue Oct 15 12:41:17 2019
https://i.imgur.com/rgebpfG.jpg
中间那一步"删去不可达状态"是要怎麽看？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.241.215.32 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1571114479.A.DD5.html
1F：→ DLHZ: 状态表中input後得不到的状态就是了 10/15 15:53
2F：→ fmtshk: 懂了谢谢。 想再问一下，当羃集合太大时，他说只列出会得 10/15 19:39
3F：→ fmtshk: 到的，怎麽看才算是会得到的？ 10/15 19:39
5F：→ fmtshk: 例如这题，它列了{s1,s4},而{s1,s3}没列出，可是看不出差 10/15 19:43
6F：→ fmtshk: 在哪 10/15 19:43
7F：推 mi981027: NFA转DFA是一个algorithm，步骤是： 10/15 22:14
8F：→ mi981027: 从初始状态开始，看input分别为0, 1会走到哪些state 10/15 22:14
9F：→ mi981027: 因为NFA一次可以走到多个state 10/15 22:14
10F：→ mi981027: ，但DFA一次只会走到一个state 10/15 22:14
11F：→ mi981027: 所以把NFA可能走到的多个state框起来当成一个新的state 10/15 22:14
12F：→ mi981027: 然後一步步往下走，直到所有可能走到的状态都讨论过 10/15 22:14
13F：推 mi981027: 理论上要列出所有幂集合啦 但实际上一堆点走不到 所以只 10/15 22:17
14F：→ mi981027: 要像上面说的那样看就行 10/15 22:17
15F：→ fmtshk: 原来是这样，谢谢大佬 10/16 20:38