Матричні схеми алгоритмів

Елементами aij матриці є логічні функції переходу від операторів, відповідних рядку до операторів, відповідним стовпцем. Оператор Аj. зіставлений з j -м стовпцем матриці, виконується після оператора Аi. сопоставленного з i -й рядком матриці, при тих комбінаціях логічних умов, при яких звертається в одиницю логічна функція: аij = aij (x1, x2. xn).

Функція aij прийнято називати функцією переходу від оператора Аi до оператора Aj. У разі якщо функція переходу тотожно дорівнює нулю (нульова функція переходів), це означає, що оператори відповідної пари ніколи не виконуються послідовно один за одним. Для простоти нульові функції переходів aij = 0 в матрицю можуть не заноситися.

Логічні функції переходи МСА мають наступні властивості:

Перша умова стверджує, що твір двох різних функцій переходів однієї і тієї ж рядки МСА нд ?? егда одно 0. Ця умова відповідає тому факту, що після виконання оператора А i може одночасно виконуватися не більше одного оператора.

З другої умови очевидно, що після оператора Аi нд ?? егда повинен виконуватися хоча б один оператор.

З наведеного опису матриці МСА слід, що оператором "Початок" позначається верхня (перша) рядок матриці, а оператором "Кінець" - крайній (правий) стовпець матриці (Ак).