A method of judging similarity and equivalence in context-free grammar

• 对上下文无关文法中的非终止符的相似性和等价性的判定