摘要
通过定义确定型有穷自动机在状态集上的等价关系,可以构造一类非确定型有穷自动机在状态集上的等价关系,利用这个等价关系可以对这类非确定型有穷自动机进行极小化。
In the paper, using the equivalent relation on the state of deterministic finite automata, a new equivalent relation can be constructed on the state of a kind of non-deterministic finite automata.
出处
《贵州大学学报（自然科学版）》
2007年第1期62-67,共6页
Journal of Guizhou University:Natural Sciences
关键词
自动机
等价关系
状态极小化
deterministic finite automata
non-deterministic finite automata
equivalent relation
minimal states
