On definite automata and related systems
Magnus Steinby · Annales Academiae Scientiarum Fennicae Series A I Mathematica · 1969
Definite transition systems s o . .3. Testing definiteRess and analysis of clefinite automata 4. Definite automaton partitions ancl synthesis of definite 5. Definite sequential machines . . . . . . . . .