dfa

0熱度

1回答

用於繪製機器的任何輕量級C庫？我做了搜索，但是，我發現的所有庫都不是特定於任務的，它們很重。我需要一個用於繪製機器的輕量級庫。

1熱度

2回答

正如我們所知，DFA可以用來驗證常規語言中的字符串。實施例1.L = ac（b）* bcb | ad（b）* bb。字符串「acbbbcb」可以由DFA驗證爲正確。此外，有時，CFG可以表示一種常規語言。例2 的S - >的「a」 A 「B」 A - >的「c」 B 「C」 | 「d」B B - >「b」B | 「B」由上述CFG產生的語言僅僅是實施例1 也就是說，我們可以使用DFA，

10熱度

1回答

實現一個代碼來模擬有限自動機用C++

我做用於自動機理論的分配，這是我必須確定是否一個字由一個過渡函數的確定性有限自動機我接受或不不確定性有這樣的輸入的文件： 6 8 0 2 2 5 0 0 a 0 1 a 1 1 b 1 2 c 1 3 c 3 4 d 4 4 d 4 5 d 3 aaabcccc aabbbbcdc acdddddd 輸入開始與4點的整數，第一是狀態自動機的數目，其次是自動機的轉換

0熱度

3回答

C++在存儲在地圖中時丟失的元素

我試圖用幾天的時間來模擬非確定性有限自動機，使用我正在存儲狀態轉換的地圖，完全如此post中所示。問題是他們錯過了非確定性轉換，即那些由相同符號引導我到不同狀態的轉換。這裏是我的代碼： #include <iostream> #include <map> #include <utility> #include <iterator> // for ostream_iterator usi

2熱度

1回答

將點星正則表達式轉換爲NFA

我正在將一組給定的正則表達式轉換爲單個NFA，但我遇到了一些問題。我應該如何轉換正則表達式，如「ab。* c」（表示匹配'a'，'b'，任意數量的字符，然後是'c'）？我最終的目標是將單個NFA轉換爲DFA（並且我正在使用子集構建算法）。

1熱度

1回答

GOLD解析器註釋語法

我在語法中遇到了一些註釋塊問題。語法很好，但第3步DFA掃描器正在抱怨我正在進行的操作。我試圖解析看起來像這樣的語言： {聲明} {}聲明等在每個語句可以是幾個不同類型的評論： {% This is a comment. It can contain multiple lines and continues until the statement end} {statement REM

4熱度

1回答

如何使用DFA正則表達式匹配器實現正則表達式斷言/環視（即\ b樣式字邊界）

我想在基於DFA的正則表達式匹配器內實現「字邊界」匹配。有人能告訴我這是怎麼完成的嗎？爲了給出一些背景知識，我目前使用「dk.brics.automaton」庫，但它不支持斷言（例如\b，字邊界）。我需要使用基於DFA的引擎，因爲我的主要目標實際上是確定正則表達式的等價性，而不是進行實際的匹配。此外，回答以下問題似乎表明這是可能的：說「再一次，我們通過增加與模擬器特殊說明的埃普西隆過渡管理這個

1熱度

3回答

NFA轉換爲DFA

當我們從nfa轉換爲dfa時，可能會出現如下圖所示的結果...我的問題是，是否有必要從狀態{4}寫入它是否爲零狀態？我的意思是沒有顯示{4}的輸入符號1與右下方的圖片相同？或沒有？

1熱度

2回答

建模DFA和NFA使用HashMap的實現

我已經在Java中實現了自動以下操作：級聯克萊尼明星聯盟路口這些操作如果自動機是NFA，則更容易。我喜歡在以下鏈接Modelling a Finite Deterministic Automaton via this data中給出的實現，但由於關鍵唯一性限制，我認爲這在建模NFA時不太合適。你會推薦我使用任何解決方法來建模NFA嗎？

1熱度

2回答

如何證明這種語言是否正規？

如何證明這種語言是否正規？ L = {A Ñ b Ñ：N ≥ 1} {工會一個Ñ b N + 2：N ≥ 1}