讨论有限识别器的状态等价及其性质,在同构意义下,有限识别器都唯一存在一个可分有限识别器与它等价,给出了有限识别器的状态化简和等价类的求法。
This paper mainly describes state equivalence of finite recognizers and its properties. A finite recognizer is a unique decomposable finite recognizer to exist in the sense of isomorphism. It also gives the state simplification and algorithm of state equivalence classes on finite recognizers.