- •Проектирование автоматов
- •Проектирование автоматов
- •5.7. Упражнения 90
- •Введение
- •1. Абстрактные автоматы
- •1.1. Эквивалентность автоматов
- •1.2. Минимизация автоматов
- •1.2.1. Минимизация полностью определенного автомата
- •1.2.2. Минимизация частичного автомата
- •1.3. Композиция автоматов
- •1.3.1. Параллельное соединение
- •1.3.2. Последовательное соединение
- •1.3.3. Соединение с обратной связью
- •1.3.4. Соединение в сеть
- •1.4 Декомпозиция автомата
- •1.4.1. Задача декомпозиции
- •1.4.2. Разбиения со свойствами подстановки
- •1.4.3. Метод декомпозиции
- •1.5. Упражнения Эквивалентность автоматов
- •Минимизация полностью определённого автомата.
- •Декомпозиция автоматов
- •2. Структурные автоматы
- •2.1. Автоматная полнота и теорема в.М.Глушкова
- •2.2. Гонки в автомате
- •2.2.1. Кодирование состояний
- •2.2.2. Понятие о гонках. Противогоночное кодирование
- •2.3. Проектирование автомата
- •2.4. Упражнение Кодирование
- •Синтез автомата
- •3. Синтез схем
- •3.1. Определения
- •3.2. Функциональная полнота базиса
- •3.2.1. Классы функций
- •3.2.2. Монотонные функции
- •3.2.3. Самодвойственные функции
- •3.2.4. Линейные функции
- •3.2.5. Функции, сохраняющие константу
- •3.2.6. Функциональная полнота
- •3.3. Топологические ограничения в схемах
- •3.3.1. Плоские схемы
- •3.3.2. Ограничения на глубину связи в схеме
- •3.4. Методы синтеза схем
- •3.4.1. Метод факторизации
- •3.4.2. Метод декомпозиции
- •3.4.3. Синтез схем в классическом базисе.
- •3.4.4. Синтез схем в монофункциональном базисе.
- •3.5. Упражнения Функциональная полнота
- •Синтез схем
- •4. Эксперименты над автоматами
- •4.1. Построение диагностических деревьев
- •4.2. Диагностические и установочные эксперименты
- •4.2.1. Дерево преемников
- •4.2.2. Диагностический эксперимент
- •4.2.3. Установочный эксперимент
- •4.3. Упражнения Диагностические эксперименты
- •Установочные эксперименты
- •5. Формальные грамматики
- •5.1. Языки и порождающие их грамматики
- •5.2. Примеры фрагментов описаний в языках программирования.
- •5.3. Порождающая грамматика
- •5.4. Классы языков и грамматик
- •5.5. Язык, понимаемый устройством
- •5.6. Автоматные языки
- •5.7. Упражнения
- •Библиографический список
- •Проектирование автоматов
- •620002, Екатеринбург, Мира, 19
2.4. Упражнение Кодирование
Для заданного автомата построить кодирование состояний, свободное от гонок методом развязывания пар состояний.
Вариант 1
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
8 |
2 |
4 |
4 |
7 |
2 |
7 |
8 |
z2 |
1 |
3 |
3 |
6 |
1 |
6 |
1 |
3 |
z3 |
1 |
5 |
6 |
4 |
5 |
6 |
4 |
1 |
Вариант 2
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
1 |
4 |
6 |
4 |
1 |
6 |
8 |
8 |
z2 |
1 |
2 |
3 |
2 |
5 |
1 |
5 |
3 |
z3 |
5 |
7 |
3 |
2 |
5 |
3 |
7 |
2 |
Вариант 3
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
4 |
7 |
3 |
4 |
5 |
3 |
7 |
5 |
z2 |
1 |
2 |
6 |
8 |
1 |
6 |
2 |
8 |
z3 |
3 |
6 |
3 |
5 |
5 |
6 |
7 |
7 |
Вариант 4
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
3 |
5 |
3 |
4 |
5 |
4 |
7 |
7 |
z2 |
1 |
4 |
1 |
4 |
5 |
6 |
5 |
6 |
z3 |
8 |
2 |
6 |
7 |
2 |
6 |
7 |
8 |
Вариант 5
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
3 |
5 |
3 |
8 |
5 |
7 |
7 |
8 |
z2 |
1 |
2 |
3 |
4 |
4 |
2 |
1 |
3 |
z3 |
4 |
6 |
5 |
4 |
5 |
6 |
8 |
8 |
Вариант 6
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
7 |
2 |
3 |
3 |
2 |
6 |
7 |
6 |
z2 |
1 |
2 |
1 |
4 |
5 |
2 |
4 |
7 |
z3 |
4 |
7 |
3 |
4 |
8 |
3 |
7 |
8 |
Вариант 7
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
4 |
7 |
5 |
4 |
5 |
8 |
7 |
8 |
z2 |
1 |
3 |
3 |
5 |
5 |
1 |
8 |
8 |
z3 |
2 |
2 |
6 |
7 |
6 |
6 |
7 |
2 |
Вариант 8
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
2 |
2 |
4 |
4 |
6 |
6 |
8 |
8 |
z2 |
1 |
1 |
3 |
3 |
5 |
5 |
7 |
7 |
z3 |
3 |
4 |
3 |
4 |
5 |
6 |
5 |
6 |
Вариант 9
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
5 |
6 |
7 |
8 |
5 |
6 |
7 |
8 |
z2 |
1 |
2 |
3 |
4 |
1 |
2 |
3 |
4 |
z3 |
4 |
5 |
3 |
4 |
5 |
7 |
7 |
3 |
Вариант 10
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
z1 |
2 |
2 |
4 |
4 |
4 |
6 |
7 |
2 |
z2 |
7 |
2 |
3 |
5 |
5 |
3 |
7 |
2 |
z3 |
4 |
8 |
6 |
4 |
5 |
6 |
5 |
8 |