Ещё одним формальным языком для описания алгоритмов является система, представленная на языке матрицы, в которой элементы есть логические функции, связывающие операторы между собой. При этом запись зависимости порядка выполнения операторов оказывается более простой и наглядной.
Определение. Матричной схемой алгоритма (МСА) будем называть квадратную матрицу, в которой строки соответствуют операторам A0, A1,..., An, столбцы – операторам A1, A2,..., Ak, а элементы – логические функции связи между операторами алгоритма.
Пример