Ways of representation of the algorithm the controlling automaton follows, страница 3

            The square matrix, which rows correspond to the operators Y₀, Y₁, …, Y_T and columns correspond to operators Y₁, Y₂, …, Y_T, Y_k is called the matrix scheme of an algorithm (the MSA).

            In the MSA, in the intersection of a row Y_i with a column Y_j, a logic condition (a conjunction of conditions a_ij) requiring to be satisfied on a transition from the operator Y_i to the operator Y_j is placed. The MSA is represented in the table 26.1.

Table 26.1