Ноу Інти, лекція, способи опису роботи дискретних пристроїв
- початковий оператор,
- кінцевий оператор,
- довільний оператор.
Початковий оператор надалі (якщо це особливо не обмовляється) будемо розглядати як оператор, що символізує початок роботи алгоритму.
Особливість записи оператора в ДСА полягає в тому, що в цей оператор не входить жодної стрілки.
Кінцевий оператор будемо розглядати як оператор, що символізує кінець роботи алгоритму.
Особливість записи оператора і в ДСА полягає в тому, що з цього оператора не виходить жодної стрілки.
Довільні оператори будемо розглядати як символи, що позначають певні дії, акти, пов'язані з реалізацією алгоритму.
Особливість записи операторів полягає в тому, що в ці оператори можуть входити кілька стрілок, але виходить завжди тільки одна стрілка.
Під логічним умовою будемо розуміти логічну функцію виду, де елементарні логічні умови. Особливість записи логічних умов полягає в тому, що вони можуть мати кілька вхідних стрілок і тільки дві виходять, помічені символами "О" і "I" в со-ності зі значенням логічного умови. Надалі будемо допускати також ДСА заміну лівій частині виразу виду його правою частиною.
Стрілки забезпечують впорядкування послідовності виконання операторів і перевірки логічних умов, а також їх взаємозв'язків.
Виконання алгоритму завжди починається з оператора і закінчується оператором.
3.3Формули переходів
У загальному вигляді для кожної операторної вершини формула переходу записується так:
причому властивості ортогональності і повноти так само дотримуються. Крім того вважається, що значення наборів логічних умов в процесі виконання операторів не змінюються.
Для МП, представленої на рис.3.7. формули переходу будуть записані так:
;
;