context-free-language

1熱度

1回答

所以，我發現這個PDA接受語言{0,1} * palindromes。不過，我不理解它如何能接受 '1' 或 '0'。在B它可以讀取1或0並將相同的符號推入堆棧，然後轉至C。然而，一旦它出現在C中，它無處可去，需要讀取另一個符號才能在堆棧中達到$。有人可以解釋它是如何工作的？我在想，爲了接受一個符號，我們需要從B到D =>1,$->ε | 0,$->ε的轉換。我是否正確？謝謝:)

0熱度

1回答

如何顯示以下語法不明確？

我有以下的語法定義： S -> A|B, A -> aAb | ab, B -> aBb | epsilon; 工作一段時間後，我仍然無法找到一個字符串，構建一個獨特的解析樹，以表明該語法是不明確的。像：aaabbb，abab等。看起來這個語法是毫不含糊的。任何幫助？

1熱度

2回答

上下文無關文法不等數目的符號

我知道如何構建一個上下文無關語法，具有相同數量的兩個給定元素，即。如果我們使用{0,1} S->SS S->0S1 S->1S0 S->ε 不過，我在努力尋找一種方法來構建有一個元素比另一個更一定量的語法。即。始終是兩個比1更多的0。有沒有人有任何想法如何構建這樣的語法？

0熱度

1回答

上下文無關文法語法

我想澄清以下有關上下文無關文法：如果我有以下， S->T0T 如果有對於T即兩個可能的值。 T-> 1T | 1 我一定代當兩個TS，像這樣使用相同的值： T0T becomes (1T)0(1T) => 1T01T 或者，我可以使用不同的值，每個T，像這樣： TOT becomes (1T)0(1) => 1T01

0熱度

1回答

與EBNF相關的笑話解決方案

您如何看待以下與EBNF相關的問題的解決方案？在保險槓貼紙上看到以下消息：Stinks Syntax。什麼是笑話？到目前爲止，我得到了我的腦海裏： r1 ::= in | yn r2 ::= ks | x Stinks Syntax ::= St r1 r2 | S r1 ta r2 Stynx Sintaks

1熱度

1回答

EBNF遞歸

問題是： a。編寫名爲mp的直接遞歸EBNF規則，該規則描述了所有符合圓括號的符號：(),()()()，()(()())和((())())(()(()))()。它不應將(,())(或(()()視爲合法。 b。寫一個表格證明及其派生樹，顯示()(()())被認爲是合法的。到目前爲止，我已經想到了一個合理的解決方案。我不確定它是否正確或者我錯過了什麼。 <mp> ::= "" | (<mp> "("

0熱度

2回答

如何檢查一個上下文無關語法的語言是否是第二個上下文無關語法的子集？

你能否解釋我，我該如何檢查，第一個上下文無關語法（G1）的語言是第二上下文無關語法（G2）語言的子集。 G1和G2兩種LL（1）具有相同的字母文法： {a, b, c, d, f} 生產規則是什麼樣子： A -> αB 或 A -> α 和α是非epsilon字符串（終端符號）。上下文無關文法G1： S1 -> aK K -> bC|cE C -> cB|d E -> bA|f

0熱度

1回答

證明語言是無上下文的抽象引理

我有一個測試來使用抽象引理來證明一種語言是否無上下文。我試圖解決一些練習問題，事情並沒有那麼好... 練習問題是：對於a）到j），證明下列語言是否是上下文無關的。如果它是無上下文的，則提供一個生成它的上下文無關語法。前兩個是： a) {a^(2i+1) b^(3k+2) c^(4k+3) d^(5i+4) | i >= 0, k >= 0} b) {a^i b^i c^k d^i | i

0熱度

1回答

給出了下面的語言語法

給語法爲下列語言{0^n w 1^n | n>=0 w is in {0,1}* and |w|=n} 嘗試在解決方案： S--> 0S1|R R--> 0R|1R|empty 不知道如何保證R的長度是一樣的0的數量或1。

0熱度

2回答

自動機：CFG用於下列語言

請各位看看以下語言： (a, b, c)* − {anbncn|n≥0} 我的問題是：我如何寫一個上下文無關文法呢？一般來說，當某些東西被排除在外時（即具有「 - 」符號），我怎樣才能寫出語法？