finite-automata

0熱度

1回答

我使用graphviz根據很多人給我的建議，但我遇到了一個問題。我想使用Format.module在ocaml中寫一個點，並且我有一個記錄，其中有五個字段定義了一個自動機，其中包括由列表int*char*int表示的轉換以及由int列表表示的最終狀態。第一個字段是一個int的初始狀態。我還定義了一個函數成員，它接受一個參數並測試它是否是給定列表的成員。我該怎麼做，以便我可以編寫一個完整的點來識別初

1熱度

2回答

查找有限自動機（Prolog的）接受

爲了表示中號finite automata在序言我使用以下謂詞的所有K-長度字： states /*states(Q) <=> Q is the list of automata's states*/ symbols /*symbols(Sigma) <=> Sigma is the list of automata's input symbols*/ transition /*trans

0熱度

1回答

這甚至可以用FSM創建嗎？

我有一個問題，要求我創建一個有限狀態機，它只接受以1000結束的字符串，我不認爲這是可能的，因爲FSM如何知道字符串結束的時間？或者我錯過了什麼？

-1熱度

1回答

提供生成以下語言的上下文無關文法

提供生成以下語言的上下文無關文法。在所有部分中，字母表Σ是{x，s}。 {w | w開始並用不同的符號結束}

1熱度

2回答

「語言的DFA」的定義

我剛剛開始學習本學期的計算理論，並被「DFA for a language」一詞所困惑。如果要求爲某些二進制字符串L的集合構造一個DFA，是否意味着要找到L（M）= L或者僅僅是$ L（M）\ supset L $的DFA M？

-2熱度

1回答

用於前綴匹配的自動機

使用開源的Java自動機庫，例如：org.apache.lucene.util.automaton或dk.brics.automaton，如何構建用於前綴匹配的自動機？例如：由字符串集合[「lucene」，「lucid」]創建的自動機，當給定「luc」或「luce」時將匹配，但當給出「lucy」或「lucid dream」」。

1熱度

1回答

轉換DFA到RE

我使用JFLAP轉換一個DFA到RE的語言「即使a和奇b」，如圖這最後一步是我不太清楚在圖怎麼得到這個最終RE 最終RE ((ab(bb)*ba+aa)*(ab(bb)*a+b)(a(bb)*a)*(a(bb)*ba+b))*(ab(bb)*ba+aa)*(ab(bb)*a+b)(a(bb)*a)* 我的困惑是在學期a(bb)*ba+b（Q1到Q0），爲什麼在最後表達

0熱度

1回答

這個DFA的英文說明是什麼？

練習一些DFA和NFA並遇到了這個。不知道如何給英文描述，更不用說正則表達式。

-1熱度

1回答

填寫一個自動機與用戶輸入ocaml給出的元素

我希望能夠讓用戶輸入一個包含5個字段的自動機類型的變量，這當然需要我找到一種方法來接受用戶輸入來填充列表這裏是我的代碼： type automate = { etat_initial : int; ensemble_des_etats : int list; alphabets : char list; transitions :(int*char*int) list; etats_fi

0熱度

1回答

兩個正則表達式的交集

感謝您提前提供任何幫助！我在學校自動機課程和我的生活不能找出兩個正則表達式的交集。我在網上查看了這裏，發現我可以爲兩種語言創建NFA，單獨讚美它們然後聯合（ise） - 在這裏不確定英語。接下來，我恭維工會找到後續的DFA，並從中找到正則表達式，這將是交集正則表達式。但是，我正在努力解決所有這些問題。我有一個問題在下面，我已經改變了表達式，而不是簡單地問一個教程問題。兩者都使用相同的字母表：