问题标签 [context-free-language]

我试图澄清有关上下文无关语法的以下内容：

如果我有以下情况，

如果 T 有两个可能的值，即。

替换两个 T 时是否必须使用相同的值，如下所示：

或者我可以为每个 T 使用不同的值，如下所示：

你能解释一下，我如何检查第一个上下文无关语法（G1）的语言是第二个上下文无关语法（G2）的语言的一个子集。

G1 和 G2 是两个具有相同字母的 LL(1) 语法：

生产规则如下：

或者

并且 α 是一个非 epsilon 字符串（终端符号）。

上下文无关文法 G1：

上下文无关文法 G2 ：

自动方式是首选。

另外，我如何检查两个任意 上下文无关语法的语言是否相等。

我有一个使用抽水引理来证明语言是否是上下文无关的测试。我正在尝试解决一些练习问题，但事情并没有那么好......

练习题是：对于a)到j)，证明下面的语言是否是上下文无关的。如果它是上下文无关的，请给出生成它的上下文无关文法。

前两个是：

如果有人可以解决前两个问题，并详细解释他们是如何做到的，我相信我可以自己解决剩下的问题（c 到 j）。

我是 LL(1) 解析的新手，目前正在尝试弄清楚如何为该语言创建解析表：

和

和

我定义了以下语法：

经过一段时间的工作，我仍然找不到一个字符串来构造一个独特的解析树来表明这个语法是模棱两可的。比如：aaabbb，abab等。看起来这个语法是明确的。有什么帮助吗？

我想找到下一个问题的解决方案，但我需要以年-月-日和月-日-年两种格式编写时间的 EBNF 以查看差异：

确定将日期写为结构化整数的一个优点：年、月、日 (1954-02-10)，而不是按正常顺序 (02-10-1954)。

格式：年-月-日。这是我想出的：

这一年到 2099 年，我想它还可以，这些规则有效，但是当时有没有更好的方法来编写 EBNF？我错过了什么吗？

您怎么看，以下与 EBNF 相关的问题的解决方案是什么？

在保险杠贴纸上可以看到以下信息：Stinks Syntax。开什么玩笑？

到目前为止，我想到了：

问题是：

一种。编写一个名为的直接递归 EBNF 规则mp，该规则描述具有匹配括号的所有符号：()、()()()、()(()())和((())())(()(()))(). 它不应该承认(, ())(, 或(()()合法。
湾。写一个表格证明及其推导树，显示如何()(()())被认为是合法的。

到目前为止，我已经想到了一个合理的解决方案。我不确定它是否正确，或者我是否遗漏了什么。

有什么建议么？

请看以下语言：

(a, b, c)* − {anbncn|n≥0}

我的问题是：我如何为它写一个上下文无关语法？

一般来说，当某些东西被排除在外（即有“-”号）时，我该如何编写语法？

由于上下文无关语法是

S --> aSbS|b|epsilon

我如何描述它接受的语言？

我可以找到一定长度的语言，但我无法描述它。