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

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