首页新闻找找看学习计划

关于最小化DFA状态数的想法,请高手指正,是正确还是不正确呢?

0
悬赏园豆:20 [待解决问题]

编译原理教材没有给出最小DFA算法的实现细节,我想能不能这么做,定义DFA状态集S上的等价关系R,对任意i,j属于S iRj当且仅当i,j同为接受或非接受状态且i,j的转换函数相同 然后遍历S上所有的状态对找出所有彼此等价地状态对,以这些状态对作为输入,利用并查集把S中所有状态划分为等价类从而实现等价状态合并,这样是否就可以实现DFA最小化呢?如果是,正确性又如何证明呢?想法很简单不知是否正确,请高手指正

Kukucao的主页 Kukucao | 初学一级 | 园豆:182
提问于:2018-07-11 22:25
< >
分享
清除回答草稿
   您需要登录以后才能回答,未注册用户请先注册