On Finite-Memory Sequential Machines

This paper shows that 1) there exist at least four types of binary-input binary-output maximum-memory n-state machines for any n; 2) there exist binary-input ternary-output maximum output -memory n-state machines for any n; and 3) there exists a binary- input binary-output maximum output-memory n-state machine for n≤5.