一个上下文无关文法G如满足下述情形，则称为（m，n）有界上下文文法：
(1)G是适定文法。
(2)若G中有产生式A→α，且存在推导S?βAγ?βαγ，则对于任何一个其他推导S?δαω，使得β和δ的最后m个符号相同。γ和ω的最初n个终结符号相同者，α必是δαω的句柄，且A→α是唯一可进行归约的产生式。
nbsp;