0
Q
我試圖解決DFA
A
回答
0
您可以通過正規笛卡爾積機建設運行算法得出的自動機用於L1和L2的交點和聯合。但是,由於這些語言非常簡單,因此可以更簡單地給出語言併爲每個語言記下DFA。
L1是至少有一個a的as和bs的所有字符串的語言。 L2是至少有兩個b的as和bs的所有字符串的語言。
要接受L1和L2的交集,我們需要看到至少一個和兩個bs。下面,我們有六個州:
- Q0,初始狀態下,我們需要一個和兩個BS
- 第一季度,我們仍然需要兩個BS
- Q2,在這裏我們還需要一架B
- Q3,在這裏我們不需要更多的(接受狀態)
- Q4,其中我們仍然需要一個一個和一個b
Q5,在那裏我們仍然需要一個一個
---> Q0-A-> Q1-B-> Q2-B-> Q3 -B-> Q4-A-> Q2 Q3 -B-> Q5-A-> Q3
(其中轉換丟失,它們是自循環)
請注意,有六個狀態:這與我們分別在兩個和三個狀態的原始DFA上完成笛卡爾乘積機構造的情況相同。
對於聯合,我們可以使用完全相同的DFA,並將接受狀態的集合更改爲q1,q3,q5。這表明我們現在接受這一事實,即任何一個條件都是真實的(並且狀態q1和q5是一個狀態,但不是兩個狀態(如q3狀態)都滿足)。
相關問題
- 1. 試圖解決js koan/about_array.js
- 2. 試圖解決Codalility算法
- 3. Malloc試圖解決0x0?
- 4. 試圖解決組件
- 5. 試圖瞭解這個解決方案
- 6. 試圖解決Python中的PIN算法
- 7. 什麼servlet API試圖解決?
- 8. 試圖解決15個難題,OutOfMemoryError
- 9. 試圖解決分段錯誤
- 10. MAXCUT的測試圖和解決方案
- 11. 試圖解決「近距離」練習
- 12. 試圖解決CSS側面重疊
- 13. 如何找到我試圖解決以下算法N叉樹
- 14. DFA最小化測試套件?
- 15. 我試圖解決使用gfortran的等式,但我不斷收到錯誤
- 16. 調試解決方案DataImportHandler
- 17. 我如何解決
- 18. 我怎樣才能解決這個當我嘗試從功能
- 19. 我怎樣才能解決我的.htaccess解決
- 20. 我該如何解決我的Python數獨解決者錯誤?
- 21. 從C#解決方案調試C++解決方案
- 22. 問題和DFA
- 23. 我該如何解決此警告:CoreSimulator試圖卸載陳舊的CoreSimulatorService作業
- 24. 試圖解決我的deque類和樹類之間的循環引用錯誤
- 25. 如何解決sqlite3錯誤,同時試圖實現我的DBAccess類
- 26. 我試圖解決一個CSS轉換的棘手問題。任何人?
- 27. ImageView的選擇器與我試圖解決以下問題不同大小
- 28. 找到我試圖解決一個簡單的數學問題polynomal功能
- 29. 試圖瞭解
- 30. ifeq問題我試圖瞭解
這是一個數學問題。不是編程!? – Meloman