[理工] 离散_非决定状态机 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