automata

0熱度

4回答

如何n^n b^n其中n> = 1是不規則的？

這是我試過的簡單有限自動機，我做錯了什麼？

automata dfa pumping-lemma 2015-12-28

---

3熱度

1回答

語言編譯器是否使用複雜的DFA來接受程序？

我正在閱讀計算理論。我沒有編程編程的實際經驗。 因此，我想到了C或Java編譯器是否使用巨大的DFA來驗證程序（TOC中的字符串）？ 編譯器是DFA的實際實現嗎？

compiler-construction automata 2015-09-30

---

3熱度

1回答

正則表達式0 * 1 * 1 + 11 * 0 * 1 DFA

表達式「0 * 1 * 1 + 11 * 0 * 1」是否被以下自動機接受？ 由於表達產生字符串「1」結束，我相信會自動接受它。 但是，我在其中一個參考文獻中找到了答案。有人可以請澄清與解釋？ 注意：+表示OR操作。

regex automata dfa 2015-10-06

---

0熱度

1回答

Tsetlin Automata中增加狀態

Tsetlin Automatas中狀態數量增加的影響是什麼？學習速度和準確度都會提高嗎？

artificial-intelligence automata 2015-10-06

---

0熱度

1回答

TOC中的{a^n b^n c^n}的恭維

正如我們所知，語言{a^n b^n c^n}不是CFL的sigma={a,b,c}，那麼我很想知道它的補充。會不會是cfl？ 請讓我知道我錯了。據我稱讚應該是{a^i b^j c^k | i!=j or j != k}工會(a+b+c)*cba(a+b+c)*。

automata 2016-01-28

---

-1熱度

1回答

什麼是電子關閉（r）在以下NFA

對不起，我不能在這裏提供圖片...我無法上傳圖片...所以..我會給出問題的轉換表。 (S/I)....a...b.....c.......e(elipson) p>.......{p}.....{q}...{r} ..¤(phi) q>.......{q} ....{r} ..¤.... {p} r(final)>..{r}...¤....{p}....{q} 這裏¤是班派

closures automata nfa epsilon 2015-10-23

---

0熱度

1回答

Java中兩個狀態機之間的通信

我一直在使用一個簡單的eclipse插件來創建可視狀態機，稱爲statecharts，它也使用Java代碼來工作。我的總體目標是讓兩臺狀態機通過套接字互相通信並交換數據並根據這些數據進行轉換，例如客戶端 - 服務器通信。 在開始時，我使用簡單的同步客戶端 - 服務器代碼，但顯然使用同步方法無法提供幫助;正確的方法是連續輪詢隊列中的數據。我現在試圖使用Java NIO這似乎很有前途，但不幸的是在第一

java automata finite-state-machine statechart 2015-10-26

---

1熱度

1回答

如何比較兩個LTL？

如何比較兩個LTL以查看是否可以相互抵觸？我問這是因爲我有一個分層狀態機和描述每個狀態行爲的LTL。我需要知道本地零擔可以抵制全球零擔。我在文章'Feature Specification and Automated Conflict Detection'中看到，如果L（f）交點L（g）爲空，則兩個LTL屬性f和g不一致。這正是用f作爲程序和作爲屬性的模型檢查問題。誰能幫我這個？如何將LTL f轉

automata formal-verification model-checking spin promela 2015-11-02

---

4熱度

2回答

正則表達式到DFA

有人能告訴我附加的DFA是否正確？ 我想給予DFA爲具有字母Σ語言= {A，B} 我需要DFA此----> A = {ε，B，AB}

regex finite-automata automata dfa automata-theory 2015-09-24

---

3熱度

1回答

使用Pair Table方法減少DFA

我正在學習如何使用Pair Table方法（系統縮減方法）來減少DFA的使用次數。這裏是我們希望減少的DFA。 的第一步是在表中鋪陳DFA： 0 1 q0 {q0, q3} {q1} q1 {q2} {q2} q2 EmptySet {q2} {q0, q1} {q0, q1, q3}

automata dfa 2015-09-24

---