如何獲得DFA交集？

我們如何將兩個dfa結合使用相交法？如何獲得DFA交集？

2010-06-22 iva123

這功課嗎？否則，我並不熟悉書中闡述的確切過程，但我敢打賭，我可以想出一個程序來組合兩個在時間O（狀態轉換）中運行的DFA。 – Omnifarious 2010-06-22 19:41:36

我問了一個[類似的問題]（http://stackoverflow.com/questions/7732815/calculate-if-two-infinite-regex-solution-sets-dont-intersect）誰是[答案]（http：// stackoverflow。 com/a/7732923/188044）可能適用於這個問題。 – 2011-12-29 19:41:44

具體來說，EDIT之後的部分：說明如何讓DFA接受L1與L2相交，給予DFA接受L1和L2。 – Patrick87 2012-02-04 13:59:40

使用叉積結構，正式解釋here。

本質上，你跨產品在每一個狀態的集合，以獲得與每個機器的狀態的任何組合相對應的元狀態列表。這允許您進行並行評估以接受兩者都接受。

來源

2013-06-11 23:37:33 akroy

如何獲得DFA交集？

回答

相關問題