输入存贮线性有限自动机的弱可逆性

Weak Invertibility on the Input-memory Linear Finite Automata

应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机的弱可逆性,得出输入存贮线性有限自动机延迟0步弱可逆的充要条件、延迟τ步弱可逆和严格延迟τ步弱可逆的充分条件,由此条件得出延迟τ步弱可逆和严格延迟τ步弱可逆的输入存贮线性有限自动机的构造方法并且求出延迟0步弱可逆输入存贮线性有限自动机的一个弱逆.

The weak invertibility of an input-memory linear finite automaton is studied on the basic of its structure matrixes. A sufficient and necessary condition for an input-memory linear finite automaton be weak invertible with delay 0 and a sufficient condition for an inputmemory linear finite automaton be weak invertible with delay τ and strict delay τ axe given. A new method on constructing a weak invertible input-memory linear finite automaton with delay τ and strict delay T is gained. A weak inverse of a weak invertible input- memory linear finite automaton with delay 0 is given on the basic of the conclusions drawn above.