上下文无关语法语法

Question

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

如果我有以下内容，

S->T0T

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

T-> 1T | 1

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

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

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

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

Answer 1

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