0
你能否解释我，我该如何检查，第一个上下文无关语法（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
A -> abC
B -> acE
上下文无关文法G2：
S2 -> aX
X -> bZ|cY
Z -> cV|d
Y -> bU|f
V -> aQ
U -> aP
Q -> cY
P -> bZ
自动方式是首选。
在额外的，我怎么能检查两个任意 上下文无关文法的语言是相等的。
问题也在这里问：http://cs.stackexchange.com/questions/52495/how-can-i-check-that-the-language-of-one-context-free-grammar-is-a-子集的作为 – rici
今后，请不要交叉提问。有关更多信息，请参阅[这里]（http://meta.stackexchange.com/q/64068）。既然你已经收到你在其他网站上发布的问题的答案，我将会关闭这个答案（http://cs.stackexchange.com/questions/52495/how-can-i-check-that-the-language -of酮上下文无关文法-是-A-子集的-AS）。 – Matt
我正在投票结束这个问题，因为它已经在cs.stackexchange.com上被询问并回答了，它在主题上“更多”。 http://cs.stackexchange.com/questions/52495/how-can-i-check-that-the-language-of-one-context-free-grammar-is-a-subset-of-a-s – Matt