-
-1 votesanswersviews
如何用某种形式显示每种上下文自由语言?
如何证明每种无上下文语言都可以通过语法生成,其中每个生成的形式为A→a,A→aB,A→aBC,其中a是终端,A,B,C是变量? -
4 votesanswersviews
非线性,非确定性和非确定性CFL的例子?
在正式语言的乔姆斯基分类中,我需要一些 Non-Linear, Unambiguous and also Non-Deterministic Context-Free-Language(N-CFL)的例子? Linear Language :对于which Linear grammar是可能的(⊆CFG),例如L1 = {anbn | n≥0} Deterministic Context... -
2 votesanswersviews
除了ANTLR之外,还有哪些其他工具可以帮助我创建一个针对JVM的小语言? [关闭]
(几天前我和ANTLR开始了我的语言冒险 . 我对语言理论和编译器构造的了解非常有限 . 如果这不是一个有效的问题,请原谅 . ) ANTLR是一个解析器生成器,具体来说,是一个 ALL(*) 解析器 . 根据here,解析器是: 编译器中试图对语法进行语法感知的部分 . AFAIK编译器应由5个阶段组成: 词法分析 语法分析 语义分析 IL表示和优化 代码生成 所以A... -
0 votesanswersviews
这个语法上下文是否免费?
G: S ---> aSb S ---> λ 根据我的要求,第一个 生产环境 规则是无上下文的(因为左侧小于右侧)但是对于第二个 生产环境 规则,它不是(因为左侧长度等于右侧) . 那么,在这个陈述中我们可以对这个语法说些什么呢 . 是否没有上下文? -
0 votesanswersviews
从语言到无上下文语法[关闭]
鉴于语言K = {e ^ h f ^ i | 2h> i> h}我需要生成一个无上下文语法 我想出的一些 生产环境 规则是:S - > eeTfff和T - > eTff | ε 它们仅在n = m 1时起作用,但我不知道如何在2h> i> h中为每个组合生成任何规则 . -
0 votesanswersviews
如何确定无上下文语法是否描述了常规语言?
给定一个任意的无上下文语法,我如何检查它是否描述了常规语言? 我不是在寻找考试“技巧” . 我正在寻找一个可以编码的万无一失的机械测试 . 如果它有帮助,这是我作为输入可能会收到的CFG示例 . 具体来说,注意答案必须比寻找左或右递归复杂得多,因为另一种类型的递归的存在并不会自动暗示语法是不规则的 . S: A B C D X A: A a A: B: b B B: C: c C c C: c D... -
1 votesanswersviews
构造语言的线性语法
我发现在为语言构建语法方面存在困难,尤其是线性语法 . 任何人都可以给我一些基本的技巧/方法,我可以为任何语言构建语法吗?提前致谢 我怀疑这个问题的答案是“构建语言的线性语法:是对的 L = {a ^ n b c ^ n | n属于Natural numbers} 解: 右线性语法: S - > aS | BA A - > cA | ^ 左线性语法: S - > Sc |抗... -
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...