每个非终结符产生的终结符号串都是该语言的子集。