automata

    1熱度

    1回答

    問題:定義爲上下文無關語言 L< {0,1} init (L) = { u | u v ε L for some v in {0, 1}} If L { w | w is nonempty and has an equal number of 0's and 1's}, then init (L) is set of all binary strings? 答: init (L) is s

    1熱度

    1回答

    的問題是建立一個CFG產生的語言 我的解決方案是:S -> aSb | aS | bS | a | b,但是,這種語法也可以產生類似aabb字符串,那麼該怎麼辦呢? 感謝您的幫助。

    1熱度

    1回答

    設CFG G是: S −→ AB|BA|AC|BD|EE A −→ a B −→ b C −→ EB D −→ EA E −→ AB|BA|AC|BD|EE 如何使用CYK算法來確定字串aabbab是語言的一部分? 這是僞代碼,我有我的筆記: for i in 1 .. n V[i,1] = { A | A -> x[i] } for j in 2..n

    0熱度

    2回答

    我試圖構造一個實數的有限自動機,它被定義爲一個以可選的'+'或' - '開頭的字符串,後跟一個零或非空的數字序列,不以零開始。緊跟着一個小數點,然後是一個非空的數字序列。 我構造了正則表達式: /[+ | - ](O |([1-9] [0-9] *))[0-9] +/ 它可以在這個網站進行測試:http://rubular.com/ 我真的不清楚?關於如何構建DFA,特別是考慮到必須存在與轉換表上

    1熱度

    1回答

    比方說,我們要畫一個NPDA的兩種狀態轉換圖是接受語言L.而且我們也說,這NPDA會恰好有2個州。我的想法是在第一個狀態下做所有事情,然後用第二個狀態作爲最後一個狀態。像這樣: 但我不知道該拉姆達的轉變將導致q1或是否有更好的方式來做到這一點,這有可能是一個更好的辦法,因爲我想教給我自己。也許有人可以讓我回到正軌?

    1熱度

    1回答

    任何人都可以給我的思想過程,參與開發一個上下文無關文法嗎?給我一種語言,其中有一定數量的0和一定數量的1,但0的數量不等於1的數量。然而,0先出現,然後是1(這應該使事情更簡單)。所以一個可以接受的字符串將是0000111或01111111 我不希望你直接給我答案,或者就此回答。只是找出它的過程。

    9熱度

    2回答

    我想了解這個'神奇'數字'n'是什麼用於抽水引理的每個應用程序。之後關於這個問題的研究小時,我來到了以下網址:http://elvis.rowan.edu/~nlt/TheoryNotes/PumpingLemma.pdf 它指出 n是 最長的一個字符串可以是不具有環。最大的n可以是s,但對某些特定的語言來說它可能更小。 根據我的理解,如果有語言L,那麼L的抽運長度就是有限狀態自動機中識別L的狀態

    -4熱度

    1回答

    這個問題在Gate 2009問過。我不明白這是不是遞歸? L = {A米乙米 C A Ñ乙Ñ | m,n≥0} L'= {A i B j C k | i,j,k≥0} 爲什麼語言{L交點L'}不遞歸?

    6熱度

    1回答

    怎樣才能正式上下文無關文法爲以下語言產生: {ai bjck | i != j or j != k} 我有以下生產,但無法理解這一點: S->AX | YC unequal b’s c’s or a’s b’s A-> aA | e 0 or more A’s C -> cC |e 0 or more c’s B -> bB |

    -1熱度

    1回答

    集= {A,B}和L7: 「與一個一開始,以ab結束所有詞語」 被賦予L7可以通過 一個來定義(A + B)* B 「+」是什麼意思? And, 如何解決這個問題?