TPCUiS-shpora
.doc-
Минимизация системы полностью определенных булевых функций.
-
Минимизация системы слабо определенных булевых функций.
-
Полные системы булевых функций.
-
Реализация булевых функций комбинационными схемами.
-
Реализация булевых функций с помощью ПЛМ.
-
Синтез комбинационных схем методом факторизации.
-
Двухблочная разделительная декомпозиция полностью определенных булевых функций.
-
Двухблочная разделительная декомпозиция не полностью определенных бул. функций.
-
Неразделительная декомпозиция булевых функций.
-
Многоблочные разделительные декомпозиции.
-
Декомпозиция системы слабо определенных булевых функций.
-
Модели дискретного автомата.
-
Преобразование автомата Мура в автомат Мили и обратно.
-
Алгебра событий. Основные соотношения. Теорема Клини о регулярных событиях.
-
Задача анализа автомата.
-
Синтез автоматов по регулярным событиям.
-
Минимизация числа состояний полностью определенного автомата.
-
Постановка задачи минимизации числа состояний частичного автомата. Получение автомата по правильной группировке.
-
Совместимость состояний автомата. Установление совместимости состояний.
-
Нахождение максимальных совместимых множеств. Оценка их числа.
-
Нахождение минимальной правильной группировки.
-
Нахождение правильной группировки, близкой к минимальной.
-
Задача кодирования состояний. Число вариантов кодирования.
-
Получение функций возбуждения триггеров для автомата с закодированными состояниями.
-
Подстановочный способ кодирования состояний.
-
Метод «желательных соседств» для кодирования состояний.
-
Итеративный метод кодирования состояний автомата.
-
Явление состязаний. Условие отсутствия опасных состязаний.
-
Кодирование состояний асинхронного автомата, обеспечивающее прямые переходы (рассмотрение пар переходов).
-
Кодирование состояний асинхронного автомата, обеспечивающее прямые переходы (рассмотрение пар К-множеств).
-
Кодирование состояний асинхронного автомата соседними кодами.
-
Микропрограммный автомат. Граф-схема алгоритма.
-
Построение автомата Мура для микропрограммного автомата.
-
Построение автомата Мили для микропрограммного автомата.
-
Секвенциальный автомат. Формы секвенциального автомата.
+ см. след. вопрос.
-
Отношения между секвенциальными автоматами.
-
Интерпретации системы секвенций.
-
Реализация секвенциальных автоматов на ПЛМ.
-
Оптимизирующие преобразования секвенциальных автоматов.
-
Понятие эксперимента с автоматами. Задачи, решаемые в ходе эксперимента.
-
Дерево преемников.
-
Диагностическая задача. Диагностическое дерево.
-
Задача установки. Установочное дерево.
-
Задачи распознавания автоматов. Задача распознавания повреждений.