A notion of "exit-automaton" is introduced to play a role analogous to "machine scheme" or "program scheme". Exit-automata and machines are equipped with algebraic structure leading to a simple characterization of their behaviors. © 1970 Springer-Verlag.
