上下文無關文法語法

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獨立於上下文，所以它們必須相同的限制會使語法不是上下文無關的。因此「上下文無關」。