关于"上下文有关文法"的一个问题(请对形式语言比较了解的朋友进来指教)
下面这段内容是我从翁富良编著的《计算语言学导论》第41页中摘录下来的概念“上下文有关文法”的定义。
如果P中的规则，满足如下的形式：αAβ→aγβ,其中A是非终结符，α，β，γ是文法符号串（也就是由终结符和非终结符组成的字符串），且γ至少包含一个字符。则G称之为上下文有关文法（简称为CSG）。
然后接下来的第42页有一道例题如下：
例3.3假设G=（N，V，P，S），N={S，B，C}，V={0，1，2}，P={S→0SBC，
S→0BC，CB→BC，0B→01，1B→11，1C→12，2C→22}。此文法为上下文有关文法。
我的不明白之处是，上面这个文法怎么会是上下文有关文法呢，明明是个无限制重写系统。上面这个文法共有7个产生式,其中的六个都满足上面提到的定义。而第3个产生式，也就是CB→BC是不满足形式αAβ→aγβ的。
我不知道是这本书上给出的定义错了，还是我的理解上有问题，请知情者指点迷静。多谢了，多谢了。
[解决办法]
CB→BC，0B→01，1B→11 比较这3个就很明显不是上下无关了..
根据后面两个,如果是上下无关文法 ,就应该能写出B-> 1,但这和CB-> BC是矛盾的..
CB BC???? 怎么也匹配不了...
很肯定是书错了.
中国人写的书出错是很正常的(尤其是学校老师教授出的书)..基本上都是抱一堆猛抄的...自己清楚就可以了..
书看看而已....
回复的是不是太晚了?
