The Logic of Automata—Part II
Arthur W. Burks, Hao Henry Wang · Journal of the ACM · 1957
TRANSITION MATRICES AND MATRIX FORM NETS Transition MatricesThe transition part of a net controls the passage of the net from state to state and is therefore the heart of the net.In this subsection we introduce "the transition matrix," a table which describes a net by showing the various ways in which it may pass from one delay state to another.We use a characterizing table with M input (state) words I, N internalstate words S, and M X N rows, each of the form , to define N 2 direct-transition expressions I~j as follows.I ~ is a disjunction of all those I~ *