context-free-grammar - 上下文无关文法句法

Question

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

如果我有以下情况，

S->T0T

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

T-> 1T | 1

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

T0T becomes (1T)0(1T) => 1T01T

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

TOT becomes (1T)0(1) => 1T01

Answer 1

两者之间没有任何关系T。它们必须相同的限制将使语法不是上下文无关的，因为T在上下文无关语法中的替换与上下文无关。因此“无上下文”。