[理工] 離散_非決定狀態機 fmtshk PTT批踢踢實業坊

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

作者: fmtshk (fmtshk) 2019-10-15 12:41:17

https://i.imgur.com/rgebpfG.jpg
中間那一步"刪去不可達狀態"是要怎麼看？

作者: DLHZ ( ) 2019-10-15 15:53:00

狀態表中input後得不到的狀態就是了

作者: fmtshk (fmtshk) 2019-10-15 19:39:00

懂了謝謝。想再問一下，當羃集合太大時，他說只列出會得到的，怎麼看才算是會得到的？https://i.imgur.com/HQLt78R.jpg例如這題，它列了{s1,s4},而{s1,s3}沒列出，可是看不出差在哪

作者: mi981027 (呱呱竹) 2019-10-15 22:14:00

NFA轉DFA是一個algorithm，步驟是：從初始狀態開始，看input分別為0, 1會走到哪些state因為NFA一次可以走到多個state，但DFA一次只會走到一個state所以把NFA可能走到的多個state框起來當成一個新的state然後一步步往下走，直到所有可能走到的狀態都討論過理論上要列出所有冪集合啦但實際上一堆點走不到所以只要像上面說的那樣看就行

作者: fmtshk (fmtshk) 2019-10-16 20:38:00

原來是這樣，謝謝大佬

繼續閱讀

[理工] 計組下209！Aa841018 [理工] 計組pageshinle14 [理工] 計組跳躍指令yoz4ni [理工] 生成函數abcd012345 [理工] 計組上yoz4ni [理工] 交大資聯演算法 108mistel [理工] 計組_(下)p.47fmtshk [理工] 計組下冊283！Aa841018 [理工] 離散數論mistel [理工] 計組 p487u0424064