基于等价关系的有穷自动机最小化方法
기우등개관계적유궁자동궤최소화방법
Finite Automata Minimization Based on Equivalence Relation