context-free-language

    0熱度

    1回答

    讓是:L = {A Ñ b米Çö | Ñ<米< O,N自然} 使用泵引理我已經選擇:Z = uvwxy =一個Ñ b n + 1個ÇN + 2 | UV | < = n和| V |> 0 => UV WX Ÿ 如果VWX是的和/或B的它是好的,我們將有更多的和/或B的比C的 - 但如果vwx僅包含c,則它將是L.的元素。 據我所知全部新詞必須是而不是 L的元素表明它不是CFL。我將如何做到這一點?

    -1熱度

    1回答

    您可以列出您知道的問題:可確定爲上下文無關語言和確定性上下文無關語言。我確實在Stack Overflow和Wiki中獲得了一些不可判定問題的信息,但與CFG或DCFG沒有關係。這個問題列表(帶有證明/鏈接)可能對正在尋找這些問題的人非常有幫助。

    1熱度

    1回答

    首先,我不學習計算機科學,我只是對這個問題感興趣。 解析器基本上這是否正確: 讀取輸入 創建令牌 實際上解析令牌並創建一個AST 因此,我認爲,爲了決定是否一個單詞是一種常規的語言,你使用一個FSM和CF語言,你需要一個解析器,因爲可能存在遞歸結構。因此,存在用於常規語言的掃描器生成器和用於CF語言的解析器生成器。 但現在我看,你可以建立一個遞歸體面解析器的正則表達式: http://matt.m

    0熱度

    1回答

    非常規語言的補充是遞歸語言嗎? 我明白, 1.無條件語言不補充關閉。 2.遞歸可枚舉語言不補充。 3.遞歸語言確實是在補充下關閉的。 但是,如何使用這些事實回答最初的問題?如何判斷一個非常規語言是否遞歸?

    2熱度

    1回答

    我在理解如何獲得兩種上下文無關語言(L =L1∩L2)的交集時遇到了一些麻煩。我見過其中很常見的例子: L1 = {a^i b^i c^j | i,j ≥0} L2 = {a^i b^j c^j | i,j ≥0} L1 ∩ L2 = {a^i b^i c^i | i ≥0} 但對於這樣一個例子: L1 = {a^i b^i c^j d^j | i,j ≥0} L2 = {a^j b^i

    0熱度

    1回答

    語言是{w | w有一個奇數長度}並且字母表是{0,1}。 我想出了 S->1p|0p|e p->00p|11p|01p|10p|e 的解決方案和書中有 S->0|1|0S0|0S1|1S0|1S1 是這些等同?

    -1熱度

    1回答

    可以說你有一種語言L,並且你想確定它是否是上下文無關的。與常規語言相交的上下文無關語言是上下文無關的。這足以證明L無上下文嗎? 含義, 大號相交P = T其中P是一個正則語言和T是上下文。這是否意味着L無上下文?

    0熱度

    1回答

    我在接近以下問題時遇到問題。 給了以下語言的上下文無關文法: {x#y | x,y in {0,1}* and |x| != |y|} 什麼是解決這個問題的最佳方式是什麼?目前我只是用直覺來解決像這樣的問題,但是有沒有有用的技巧?也就是說,你能想出這種語言的PDA會是什麼樣子,然後從中得到語法嗎?有沒有使用語法A和B來查找語法G = A和B的方法? 我很努力地看到如何解決這個問題,所以任何幫助