automata

1熱度

4回答

什麼是NFA NFA即和Epsilon實時實例實際的例子以外，它是在設計編譯器

5熱度

1回答

我需要一些幫助抽取引理問題。 L = { {a,b,c}* | #a(L) < #b(L) < #c(L) } 這是我走到這一步： y = uvw is the string from the pumping lemma. 我讓Y = ABBC^n，n爲從泵引理的長度。 y在L中，因爲a的個數小於b個的個數，而b個的個數小於c個個的個數。我讓u = a，v = bb和w = c^n。 |

0熱度

2回答

計劃，以如果任何人知道如何寫一個程序，以產生正則表達式給出的有限的自動化，或者如果任何程序（優選在c）中已存在產生由過渡表

林好奇正則表達式。爲了使事情變得不那麼複雜我想美國的數量限制爲約4，假設FA是最小的形式，足協只有一個FinalState，只有一個將startState。我一直都在思考了一段時間了，我想第一個明顯的事情是創建一個轉換表爲FA。所以足總看起來是這樣的： NumberOfStates 4 StartState 1 FinalState 4 StateNumber NextStateA N

0熱度

1回答

設計NFA接受情侶串

我需要幫助設計一個接受的話「你好」，「世界你好」和「在一起」的拼音包括英文字母，數字和符號的NFA。我需要幫助入門。任何人有任何建議？

2熱度

2回答

構建上下文無關文法

我怎樣才能構建一個上下文無關文法下列語言： L = {a^l b^m c^n d^p | l+n==m+p; l,m,n,p >=1} 我開始通過嘗試： S -> abcd | aAbBcd | abcCdD | aAbcdD | AabBcCd 然後A =別的東西......但我無法得到這個工作。。我想知道我們怎麼能記住有多少c的shud增加爲沒有。 b的增加了嗎？例如： stri

1熱度

1回答

線性時序邏輯（LTL）NAD自動機建模

我真的具有理解我們如何通過使用線性時序邏輯建模這些自動機的困難。請有人請向我解釋一下這個link圖片上的案例，或者向我指出一個可以解釋這個例子的來源。我感謝你在你的幫助。

1熱度

2回答

用Java中的正則表達式匹配字符串

我有一個DFA，但我不知道它是否接受狀態。我只知道它接受的正則表達式。我試圖找出它是否接受狀態，所以我研究了DFA的每個狀態，並且想要將接受的正則表達式與當前狀態生成的單詞進行比較。因此，我在尋找能夠將該詞與正則表達式進行比較的東西，並告訴我它是否匹配，因此我可以將DFA的這種狀態標記爲已接受的狀態並移至其他狀態。我試圖實現一些算法，但它已被證明對我來說是一個相當複雜的問題。你能在這方面給我建議

7熱度

3回答

DFA可以有epsilon/lambda轉換嗎？

找不到任何肯定的東西。而具有任何epsilon轉換的NFA是一個epsilon-NFA？謝謝。

0熱度

1回答

如何解決這個DFA的δ（A，01）？

考慮DFA：什麼將δ（A，01）等於？選項： A) {D} B) {C,D} C) {B,C,D} D) {A,B,C,D} 正確答案是選項B），但我不明白如何。請有人向我解釋解決問題的步驟，以及一般情況下我們如何解決任何DFA和任何轉換問題？謝謝。

-1熱度

2回答

在陣列中的C＃閱讀語法從文件和存儲

還是新的C＃這樣是很好:) S -> NP VP S -> Aux NP VP NP -> Proper-Noun NP -> Nominal Nominal -> Noun Nominal -> Nominal Noun Nominal -> Nominal PP VP -> Verb NP VP -> Verb NP PP PP -> Preposition NP 如何將