如何求有限自动机DFA与的交集
其中,Σ是字母集合,Q是有限状态的集合,F是终止状态集合,δ是状态转移函数。
这是小弟毕业设计的内容卡在这里好久了，哪位大侠能够给点意见戓者提示非常感谢！
你可以先将转化为DFA，记作DFA1这时候，DFA1的状态集合中与DFA中的Q相同
然后根据两个DFA，我们可以画出两个图然后取两个圖中的交集。（即：（a,b)线都出现在两个DFA图中）
具体方法是：将两个图映射成两个邻接矩阵其中矩阵中的值为从某个状态到达另外一个状態的字母。
这时候我们可以比较两个矩阵，然后去矩阵中相同的值就可以了
那么什么叫他们的交集？
的确定化具有重要的理论和实际意义.迄今为止,普遍采用子集构造法将一个(非确定性自动机)转化为DFA(确定性自动机),但这种方法需要引入空输入ε及状态子集I的ε-闭包,其计算过程相对繁琐.而且在确定化过程中对于状态集存在ε-closure重复计算和由于对非ε转换的判断而引起的重复计算等问题.本文描述了一种将一类直接转化为DFA的方法.在本方法中,不需要引入空输入ε,可根据原始的状态图或状态转移表直接得出等价的DFA状态图或状态转移表,而且所有状态都是单┅的状态而非集合状态,便于软硬件实现与测试.
通过平台发起求助成功后即可免费获取论文全文。
您可以选择百度App、微信扫码或财富值支付求助
我们已与文献出版商建立了直接购买合作。
你可以通过身份认证进行实名认证认证成功后本次下载的费用将由您所在的图书馆支付
您可以直接购买此文献，1~5分钟即可下载全文
一键收藏上线啦！点击收藏后，可在“我的收藏”页面管理已收藏文献
您还没有浏览的资料哦~
快去寻找洎己想要的资料吧
您还没有收藏的资料哦~
收藏资料后可随时找到自己喜欢的内容