finite-automata

0熱度

1回答

有限的可能非確定性狀態機持續時間

發佈somewhat ambiguous question之後，我相信我已經確定了我在想什麼（我是FSM中的一名完全新手）。 我想在clojure中使用有限狀態機（可能是非確定性自動機，即允許多個下一狀態轉換）來模擬狀態空間。 這主要是我的問題： 假設我們有這些國家Q={flying,cycling,running,driving}，我們在D={120,30,30,60}平均每天爲每個狀態的持續時

java clojure finite-automata 2016-02-16

---

1熱度

1回答

最高的國家的數量 - DFA/NFA

我試圖總結我的周圍正規語言的一些操作頭，如路口，串聯和克林星（適用於DFA和NFA，以及它們是如何不同）。 想象一下以下內容： 假設我們有L_A和L_B爲正規語言通過的DFA M_A和M_B 而N_A和N_B定義是M_A的許多州和M_B。 兩個問題脫穎而出： 什麼是國家的最高數你就需要在的DFA的語言L_A *？ 是什麼狀態你需要在的NFA的語言L_A（路口）L_B的次數最多？ 任何幫助/指針/諮

logic finite-automata deterministic non-deterministic 2016-02-19

---

0熱度

1回答

什麼是通用有限自動機的一些引擎？

的要求是： 基本的自動售貨機功能：狀態，事件，規則 靈活性 陳述句，無需重新編譯改變 [（與外部的語言工具進行分析，分類，搜索集成）可選的]隨機化能力（例如用於狀態之間的隨機轉換） 例如類似於Akka FSM，但具有聲明性功能。靈活的基於規則和文本匹配（基於NLP）也有幫助。

nlp text-mining rule-engine finite-automata fsm 2016-04-12

---

2熱度

1回答

難以用固定語言固定抽出的引子

我無法證明某種特定的語言不固定。該語言被定義爲 大號一個 = {WZ：W，Z∈{0,1} *和| W | > | z |} 我不知道如何解決這個問題。無論我選擇什麼字符串，我總是遇到w和z正在爲我移動目標的問題;我無法創建一個無法抽出或以其他方式相矛盾的字符串。對這個問題的正確方向有什麼想法？

theory regular-language finite-automata finite-state-machine pumping-lemma 2016-02-25

---

1熱度

1回答

如何從編譯器中提取語法

目前我們正在開發軟件現代化項目，因此我們無法爲PL1等過時語言的程序中的每個語句編寫語法。

compiler-construction grammar context-free-grammar finite-automata 2016-03-08

---

0熱度

1回答

感應字符串？ （自動相關）

老實說，我所知道的關於數學歸納法是如下： 1. prove P(0) - base step 2. for all n ≥ 1, prove (P(n − 1) -> P(n)) - inductive step And here is image of my induction problem that I am struggling now (please click) 目前我正在試圖解

computer-science discrete-mathematics finite-automata computation-theory induction 2016-01-21

---

0熱度

2回答

我們如何才能找到正則表達式以下字符串

查找代表下面的一組正則表達式： 集合了{A，B}中的 出現的次數除以3的所有字符串。 集合{0,1}上的所有字符串與00

finite-automata 2016-03-12

---

2熱度

2回答

Kleene Star的確定性有限自動機

我讀到每個非確定性有限自動機（NFA）都可以轉換成確定性有限自動機（DFA）。這可以做爲克萊恩星正則表達式，說一個*？ 以上是a *的NFA。

regex finite-automata dfa kleene-star 2016-01-24

---

0熱度

1回答

如何針對一組q狀態下的給定DFA提出遞推方程？

我想解決以下鏈接中的問題2：Check out Q.2。 這是我感興趣的數字N(k)二進制字符串的長度爲k由以下確定性有限自動機接受（來源：網址）。 例如N(2)=2，因爲只有這樣的字符串是01和10。特別是我對N(k)的復發關係感興趣。

combinatorics recurrence finite-automata dfa formal-languages 2016-03-26

---

0熱度

2回答

需要構造DFA（確定性有限自動機）

我需要構造一個DFA，它可以識別所有由0和1完全構成的字符串，以便它有偶數個零和可以被3整除的個數。我發現自動爲偶數0和偶數個1的情況下： 我試圖從這裏去添加一些國家，改變分支機構，等等。不過我仍然不成功通常無法追蹤的有什麼自動機做我會補充的分支和狀態。任何幫助將不勝感激。

regular-language finite-automata computation-theory dfa 2016-03-27

---