关于"上下文有关文法"的一个有关问题(请对形式语言比较了解的朋友进来指教)

关于"上下文有关文法"的一个问题(请对形式语言比较了解的朋友进来指教)
下面这段内容是我从翁富良编著的《计算语言学导论》第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???? 怎么也匹配不了...

很肯定是书错了.
中国人写的书出错是很正常的(尤其是学校老师教授出的书)..基本上都是抱一堆猛抄的...自己清楚就可以了..
书看看而已....

回复的是不是太晚了?