论文部分内容阅读
Semi-input-memory finite automata, a kind of finite automata introduced bythe author of this paper for studying error propagation, are a generalization of input-memoryfinite automata by appending an autonomous finite automaton component. This paper gives acharacterization on the structure of weakly invertible semi-input-memory finite automata withdelay 2 in which input alphabets and output alphabets have two elements and autonomousfinite automata are cyclic. For the structure of feedforward inverse finite automata with delay2, Zhu first gave a characterization; from a result on mutual invertibility of finite automata, theresult mentioned above also leads to a different characterization on the structure of feedforwardinverse finite automata with delay 2.