finite-automata

6熱度

6回答

下午好，有誰知道在.NET中的「亂用」的實施萊文斯坦的DFA（確定性有限自動機）的（或容易翻譯吧）？我有一本超過160000個不同單詞的非常大的字典，我想要給出一個原始單詞w，以有效的方式找到所有已知單詞在Levenshtein距離最多爲2的w。當然，通過編輯距離計算給定單詞的所有可能編輯並將其應用於每個編輯的功能可以解決問題（並且以非常簡單的方式）。問題是效率 - 給定一個7個字母的單詞，

2熱度

1回答

當你證明一種語言是可判定的時，你在做什麼？

當你證明一門語言是可判定的時候，你在做什麼？

1熱度

1回答

繪製自動機和語法樹的工具

我正在尋找一個免費工具來創建視覺上有吸引力的有限自動機和語法樹圖。注：我真的只是想繪製圖表。我不需要創建一個模型或者對它做一些特殊的事情。謝謝你的時間。編輯：我可以補充一點，我創建的文檔，乳膠，所以我也開到TEX基於圖表的解決方案。

2熱度

1回答

爲語言創建上下文無關語法

我正在上有限自動機課。我正在爲期中考試做準備，因此無法爲特定語言創建語法。雖然我發現簡單的很直觀，但當它們變得更復雜時，我似乎不知道從哪裏開始。例如： L = {瓦特E {A，B，C} *：NB（W）= NA（W）+ NC（W）} 答案是：小號→S1 | S2 S1→bS3 | S3b | S3bS3 S3→S0 | S1 S2→XS4 | S4X | S4XS4 S4→S | S2 S0→bS

1熱度

1回答

有限狀態機和死鎖

這是我的問題我知道兩個狀態機死鎖的痕跡。我想知道跟蹤（我不知道estructure），如果組成是死鎖免費的。要知道的任何定理是可以知道的嗎？

0熱度

3回答

正式語言：R-trivial是什麼意思？

什麼是R平凡語言？即定義是什麼？什麼是R-trivial monoid？上下文：正式語言。 Afaik，R-trivial語言是無星語言的一個子集。我大部分都有正式語言和自動機理論的背景，但與句法幺半羣表徵不太相關。所以最好給一個基本的定義，或許是一個這樣的語言的小例子。（爲了支持多個QA-網站，因爲我不希望有任何QA現場留下，並有一個問題也代表了那裏，我也張貼在這些網站這個問題： cst

2熱度

1回答

C的自動化FSM

我正在尋找C的自動化有限狀態機生成器？我通過互聯網看到了一些，但無法決定使用哪一個。如果有人使用任何這樣的工具，然後幫我找到正確的。感謝，拉維古普塔

8熱度

1回答

你如何構建兩個DFA的聯合？

有沒有人對構造兩個給定DFA的聯合的算法有一個簡單的描述？例如，假設我們有兩個DFA的{0,1}，其中 {w|w has an odd number of characters} w has states A and B delta | 0 | 1 ---------------- A | B | B ---------------- B | A | A

0熱度

1回答

可視化XML定義的有限狀態機

我想知道可以將XML中定義的Finite state machine中的狀態轉換可視化的工具。如果它可以爲轉換生成動畫，將會很有幫助

5熱度

1回答

（FInite狀態機） - 在javascript中實現XML模式驗證器

我一直在研究一個月左右的項目，現在開發一個JavaScript驗證器（XSD）。我已經非常接近，但仍然遇到問題。我工作得很好的唯一方法是將模式結構規範化爲存儲在DOM中的FSA。我已經嘗試了幾種方法來驗證我的xml結構對抗FSA，並且每次都會變得很短。驗證器被用於運行客戶端WYSIWYG XML編輯器，以便它必須滿足下列要求必須高效（< 15ms的來驗證元素子節點圖案即使複雜的模型）必須公