On the structure of finite automata of which M' is a (weak) inverse with delay \(\tau\) (Q1083857)

In this paper, we first give a method that for any inverse finite automaton M' with delay \(\tau\), all invertible finite automata with delay \(\tau\), of which M' is an inverse with delay \(\tau\) can be constructed; and a universal nondeterministic finite automaton, for all finite automata of which M' is an inverse with delay \(\tau\), can also be constructed. We then give a method that for any weak inverse finite automaton M' with delay \(\tau\), all weakly invertible finite automata with delay \(\tau\) of which M' is a weak inverse with delay, can be constructed; and a universal nondeterministic finite automaton, for all finite automata of which M' is a weak inverse with delay \(\tau\), can also be constructed.