5. Формули переходів.

У загальному вигляді для кожної операторної вершини формула переходу записується так:

Для схеми, що наведена вище формули переходу будуть записані так:

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

Кажуть, що задана матрична схема алгоритму (МСА), якщо задана матриця, яка для схеми, що наведена, має вигляд

	Y1	Y2	Y3	Yk
Y0	1
Y1		X1	X1
Y2				1
Y3	X2			X2

В MCA функція на перетині рядка i та стовпця j прийнято розглядати як логічну функцію, що визначає умову переходу з Yi у Yj. Якщо ця умова дорівнює 1 , тоді одразу після оператора Yi має виконуватися оператор Yj.

7. Логічні схеми алгорітмів

Перехід за логічною умовою , яка стоїть у ЛСА

виконується таким чином:

• Якщо , то після виконується ,

• Якщо , то після виконується .

Безумовний перехід для ясності може бути позначений додатковим символом , наприклад .

ЛСА для мікропрограми, представленої вище виглядає так:

ЛСА

Побудуємо відповідну ГСА. За початковим оператором наступним є оператор и далі логична умова . Якщо логічна умова виконується, тобто , то наступним оператором виконують . Якщо логічна умова не виконується, тобто , то наступним оператором виконують , тобто оператор, що стоїть за нижньою стрілкою з номером 1.

Далі у ЛСА за оператором стоїть оператор і . У такій послідовності зображуємо їх на ГСА. Далі будуємо аналогічно.

Однією важливою особливістю ЛСА є неоднозначність запису одного алгоритму.

Так, та сама ГСА може бути представлена декількома варіантами ЛСА:

Спробуйте знайти відміну від попередньої мікропрограми.

Рис. 5.

Рис.  6.

2.2. Перехід від ГСА до графа абстрактного автомата Мура Перехід здійснюється так само у два етапи.

Рис. 7.

Рис. 8.