上下文无关文法语法

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独立于上下文，所以它们必须相同的限制会使语法不是上下文无关的。因此“上下文无关”。