- •3. Перетворення автомата Мура у еквівалентний автомат Мілі
- •4. Перетворення автомата Мілі у еквівалентний автомат Мура
- •4. Побудова матриці переходів та граф-схеми автомата Мура
- •5. Розмітка системи регулярних виразів
- •Діагностика
- •1. Асинхронний rs – триггер.
- •5. Синхронний rs – тригер
- •2. Синхронний jk-тригер
- •Канонічні рівняння
- •Структурний синтез автомата Мілі на rs –тригерах
- •Структурний синтез автомата Мура на jk –тригерах
- •5. Формули переходів.
- •6. Матричні схеми алгорітмів
- •7. Логічні схеми алгорітмів
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.