A-B为产生式的右部，表示A可以推导出B。在上下文无关文法中，非终结符表示可以被替换的符号，而终结符表示不可被替换的符号。因此，A-B可以被看作是一个非终结符与另一个非终结符的组合。具体来说，A-B可以被看作是一个产生式的右部，其中A是产生式的左部，B是产生式的右部的一部分。