-
-1 votesanswersviews
如何用某种形式显示每种上下文自由语言?
如何证明每种无上下文语言都可以通过语法生成,其中每个生成的形式为A→a,A→aB,A→aBC,其中a是终端,A,B,C是变量? -
0 votesanswersviews
为特定语言定义无上下文的语法
我有一种语言,语言中的每个字符串的偶数为0,如1(例如,0101,1010,1100,1211,10都在语言中) . 我希望定义一个描述这种语言的无上下文语法 . 在定义了无上下文语法之后,我想正式证明这种无上下文语法描述了这种语言 . 我想出了无上下文语法生成规则: S->0S1S S->1S0S S->ε 这是正确的上下文无关语法来定义这种语言吗? 我有点难... -
0 votesanswersviews
如何检查一个无上下文语法的语言是否是第二个无上下文语法的子集? [关闭]
你能解释一下,我怎么检查,第一个无上下文语法(G1)的语言是第二个无上下文语法(G2)语言的一个子集 . G1和G2是两个具有相同字母的LL(1)语法: {a, b, c, d, f} 制作规则如下: A -> αB 要么 A -> α α是非ε串(终端符号) . 无上下文语法G1: S1 -> aK K -> bC|cE C -> cB|d E -> b... -
1 votesanswersviews
这种上下文免费语言是否定期?
如果我有一个语言{0,1}由以下无上下文语法定义并带有起始变量S,它是一种常规语言吗? S→TS,S→1T,S→1S T→TT,T→0T1,T→1T0 T→ε 这种语言有规律吗? 在我看来,这种语言不能是常规的,因为它基本上是终端和变量的任何组合 . 而常规语言需要是正确的或线性的 . 我是对的,或者我的想法在这里不正确?是否存在任何人建议用于确定无上下文语法是否规则的特定过程? -
0 votesanswersviews
找到无上下文语法
我需要为以下语言找到一个无上下文的语法: L = { a^m b^m c^k | k <= m } (为了表明该语言没有上下文) -
0 votesanswersviews
设计一个无上下文语法语言,其中a的长度为b的双倍长度
我想知道是否有人可以帮助我设计一个无上下文语法 对于{w |的语言| w | a = 2 | w | b} 例如w = aab,aaaabb,aaaaaabbb,baa,aba,aabbaaaba ...... S-> aab |咩| aba | SS | abSa | baSa | aaSb | bSaa不会产生aaabba . 所以我的下一个问题是,拥有一个看起来像这样的语法是不是太... -
2 votesanswersviews
鉴于以下语言L,提供CFG或证明它不是上下文
我在大学讲座上看到这是一个可选的挑战问题,但不知道如何解决这个问题 . 设L为语言 L = {apbqapbq : p,q >= 0} . 这种语言没有上下文吗?要么为它提供无上下文语法,要么证明它不是无上下文的 . 我知道 L = {apbp:p >= 1} 是一种无上下文的语言,但问题中的语言使用2个变量,也可能等于0,这让我觉得它不是上下文无关的 . 我应该使用泵浦引理吗?任何... -
1 votesanswersviews
如何创建无上下文语法?
我正在学习编译器,我对如何创建语言的无上下文语法感到困扰 . 有没有一种方法可以为大多数语言创建无上下文语法?我是这个领域的新手所以问题是基本的,我希望你能帮助我 . -
0 votesanswersviews
无上下文的字符匹配
给出三个符号:“(”“)”和“;” 如何为S表达式创建无上下文语法的生成规则,满足以下条件: 整个表达式嵌套在括号中,这意味着它以"("开头并以")"结尾 . 如果从左到右读取表达式,则表达式的任何位置(除了最后一个)之外的开括号的数量大于闭括号的数量 . 在表达式结尾处,开括号的数量应等于封闭括号 . 括号可以任何方式嵌套 . 关闭括号必须与&... -
4 votesanswersviews
确定性无上下文语法与无上下文语法?
我正在读我的比较语言课的笔记,我有点困惑...... 无上下文语法和确定性无上下文语法之间有什么区别?我特别在阅读解析器如何用于CFG的解析器是O(n ^ 3),而编译器对于DCFG来说是O(n),并且并不真正理解时间复杂度的差异如何如此之大(更不用说我是仍然混淆了使CFG成为DCFG的特征 . 非常感谢你提前! -
0 votesanswersviews
在ll(1)中检查另一种语法的语法的算法
我需要一种算法来检查G1的语言是否是G2语言的子集 . (假设G1和G2是两个LL(1)语法,它们具有相同的字母表,其生成规则是A - > aB或A - > a形式,“a”是非epsilon . 我有一个解析算法根据字符串检查语法但不检查另一种语言 . 是否有人有解决方案 . -
1 votesanswersviews
构造语言的线性语法
我发现在为语言构建语法方面存在困难,尤其是线性语法 . 任何人都可以给我一些基本的技巧/方法,我可以为任何语言构建语法吗?提前致谢 我怀疑这个问题的答案是“构建语言的线性语法:是对的 L = {a ^ n b c ^ n | n属于Natural numbers} 解: 右线性语法: S - > aS | BA A - > cA | ^ 左线性语法: S - > Sc |抗... -
0 votesanswersviews
明确的上下文免费语法
我正在阅读Context Free Grammar,我遇到了模棱两可的语法 . 如果CFG生成的语言有超过1个解析树,那么CFG就是一个含糊不清的语法 . 有什么方法可以找出或证明语法是明确的 . 一般来说,我可以测试CFG生成的一些语言,并检查是否从该语言生成了多个解析树,以显示该语法是不明确的 . 但是,我如何检查或证明给予CFG是明确的? -
0 votesanswersviews
为什么这种无上下文的语法语言不合适?
问题是提供无上下文语法,其中L = {w∈{a,b} * | w中a的数量比b的数量大一个} . 我的解决方案是 S -> LaL L -> aLb|abL|bLa|Lab|Lba|baL|_ 任何人都可以说为什么我的解决方案不适用于这种语言? -
0 votesanswersviews
寻找更复杂语言的上下文无关语法的方法
我遇到以下问题时遇到问题 . 为以下语言提供上下文无关语法: {x#y | x,y in {0,1}* and |x| != |y|} 处理这个问题的最佳方法是什么?目前我只是用直觉来解决这些问题,但有没有有用的技巧?也许你能想到这种语言的PDA会是什么样的,然后从中得出语法吗?有没有使用语法A和B找到语法G = A和B的方法? 我很难看到如何解决这个问题,所以任何帮助都会非常感激 . 谢谢 ....