作者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/m.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