automata

0熱度

1回答

我想問問有沒有算法（也已實施），用於檢查特別是弱交變自動交替自動機的空虛。

0熱度

1回答

不太確定這是否是正確的論壇，但在理論計算機科學上建議我在此處將其移動... 有限狀態機的典型字母大小是多少？我目前正在忙於實施高性能FA庫，需要在繼續之前進行一些設計考慮。我的狀態空間大約是2 147 483 647（Integer.MAX_VALUE），我覺得這已經足夠了，即使是非常用也是如此。現在，剩下的就是字母表空間。假設字母表通常只包含所有可顯示的字符（在這種情況下，它可以存儲爲byt

7熱度

1回答

C＃中的NFA/DFA實現

有誰知道C＃中的任何良好的NFA和DFA實現，可能同時實現兩者之間的轉換嗎？我希望能夠構建NFA，然後將其自動轉換爲DFA，但無需編寫自己的代碼，這需要很長時間。 Python代碼有this，可能我可以使用IronPython與C＃集成，但是Python很慢。

2熱度

3回答

使用元胞自動機對圖中頂點的可達性分析

可以使用cellualr自動機來測試圖（指示）中節點的可達性。實際上，要實現的算法是使用CA來檢查指定頂點的點頭可達性。它甚至有可能嗎？ CA有能力做到這一點嗎？有什麼想法？

4熱度

2回答

傳感器與NFA的區別

有人能告訴我傳感器與NFA的區別嗎？

0熱度

1回答

如何使用編程語言設計整數的接收器C

我正在閱讀Peter Linz的一本名爲「Formal Languages and Automata」的書。在其中一個問題中，它問我，"Design an acceptor for integers in a programming language C"有人可以告訴我怎樣才能得到這個答案。任何幫助將不勝感激

2熱度

3回答

如何將NFA/DFA轉換爲java？

我有一個場景，我設計了NFA並使用JFLAP將其轉換爲DFA。我需要知道，如何在Java中進行編碼？基本上如何在Java中實現這些狀態轉換。我已經看到了一些使用switch和if語句執行此操作的示例，但我無法看到與DFA/NFA設計有關的任何關係，以及如何使用它在Java中實現。

-1熱度

1回答

通過圖靈機實現隊列

如何通過圖靈機實現隊列？

1熱度

2回答

什麼常規語言與1 * 0 *相交給出1n0n

我正在閱讀一本關於自動機理論的書，書中給出了一個例子，一個具有相同數量0和1的語言與1 * 0 *相交會導致1n0n，這裏n> 0 所以我的問題是，我怎麼能找到一些正則語言，當與1 * 0 *相交，也會導致1n0n。有沒有辦法考慮這個問題？更新：感謝您的答案！我想我想找到的是一些常規語言，所以像1n0n的那些不會工作;）這可能嗎？有任何想法嗎？

1熱度

1回答

如何顯示加法是原始遞歸？

我如何顯示數字的例子，加法是原始遞歸。我明白爲什麼它通過證明是原始遞歸，但我無法想象它如何以數字遞歸的方式工作。