上下文无关文法语法

Question

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

如果我有以下内容，

S->T0T

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

T-> 1T | 1

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

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

或者我可以为每个 T 使用不同的值，就像这样：

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

Answer 1

两个T之间没有关系。它们必须相同的限制会使语法不是 context-free，因为 context-free 语法中 T 的替换与上下文无关。因此 "context-free".