SELECT PROPERTIES OF THE GRAPH MODEL OF A GENERAL AUTOMATON
Eldo C. Koenig, Terry J. Frederick · Kybernetes · 1972
Select properties are presented for a graph model of a general automaton consisting of a processor, environment and time graph. The properties, stated in the form of theorems and corollaries, deal with connectedness, number of points and lines and indegree and outdegree as the model relates to the automaton's sets, functions and characteristics. The properties are illustrated by an example automaton.