我看过两个问题，我不知道如何回答

Question

字符串的语言是不是t＃t形式的，其中t是{0,1}一个CFL上的任意字符串？我不知道要解决这个问题。

另一个问题是：该集合是否包括：作为CFG的Grammers的生产规则，它本身是一个常规集合？怎么证明？我不明白这个问题是什么意思。感谢。

Answer 1

所有无上下文规则集的语言通常都是常规的。根据您的确切定义和规则的表示，您基本上只需要检查所有左侧是否长度为1以及集合的格式是否正确。

((S,ab),(S,aSb))

可能是具有规则S->ab和S->aSb的集合的该语言的字符串。括号从不嵌套深度超过2，因此您不需要堆栈。如果你真的是指由以下组成的集合：Grammars的生产规则＆＃34;你知道(S,ab)有单一规则的字符串，这更容易。

关于不是t＃t形式的字符串集，众所周知它的补码不是无上下文的。由于CFL没有在补充下关闭，但这并不意味着什么。你可以找到答案here。