For systems with outputs, and S also finite, the terminology there is sequential machines.
In order to develop some intuition with the formulism, we analyze a typical sequential machine problem.
Later we concentrate on systems for which all of the sets appearing are infinite in fact infinite in fact, real or complex vector spaces but automata and sequential machine theory did provide much of the original motivation for the development of the basic system theory concepts.