借助有限自动机矩阵模型表示方法,给出判定有限自动机弱可逆性的新算法。
This paper gives a new algorithm which can judge whether the finite automata has weak invertibility.