[理工] 離散_非決定狀態機

看板Grad-ProbAsk作者 (fmtshk)時間6年前 (2019/10/15 12:41), 編輯推噓2(2推 0噓 13→)
留言15則, 3人參與, 6年前最新討論串2/2 (看更多)
https://i.imgur.com/rgebpfG.jpg
中間那一步"刪去不可達狀態"是要怎麼看？ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.241.215.32 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1571114479.A.DD5.html
→
10/15 15:53, 6年前 , 1F
狀態表中input後得不到的狀態就是了
10/15 15:53, 1F
→
10/15 19:39, 6年前 , 2F
懂了謝謝。 想再問一下，當羃集合太大時，他說只列出會得
10/15 19:39, 2F
→
10/15 19:39, 6年前 , 3F
到的，怎麼看才算是會得到的？
10/15 19:39, 3F
→
10/15 19:39, 6年前 , 4F
10/15 19:39, 4F
→
10/15 19:43, 6年前 , 5F
例如這題，它列了{s1,s4},而{s1,s3}沒列出，可是看不出差
10/15 19:43, 5F
→
10/15 19:43, 6年前 , 6F
在哪
10/15 19:43, 6F
推
10/15 22:14, 6年前 , 7F
NFA轉DFA是一個algorithm，步驟是：
10/15 22:14, 7F
→
10/15 22:14, 6年前 , 8F
從初始狀態開始，看input分別為0, 1會走到哪些state
10/15 22:14, 8F
→
10/15 22:14, 6年前 , 9F
因為NFA一次可以走到多個state
10/15 22:14, 9F
→
10/15 22:14, 6年前 , 10F
，但DFA一次只會走到一個state
10/15 22:14, 10F
→
10/15 22:14, 6年前 , 11F
所以把NFA可能走到的多個state框起來當成一個新的state
10/15 22:14, 11F
→
10/15 22:14, 6年前 , 12F
然後一步步往下走，直到所有可能走到的狀態都討論過
10/15 22:14, 12F
推
10/15 22:17, 6年前 , 13F
理論上要列出所有冪集合啦 但實際上一堆點走不到 所以只
10/15 22:17, 13F
→
10/15 22:17, 6年前 , 14F
要像上面說的那樣看就行
10/15 22:17, 14F
→
10/16 20:38, 6年前 , 15F
原來是這樣，謝謝大佬
10/16 20:38, 15F
‣ 更多 fmtshk 的文章
文章代碼(AID): #1TfKtltL (Grad-ProbAsk)
‣ 更多 fmtshk 的文章
文章代碼(AID): #1TfKtltL (Grad-ProbAsk)