- •Теория множеств.
- •Свойства подмножеств.
- •Операции над множествами.
- •Алгебра теории множеств.
- •Решение уравнений алгебры множеств.
- •Кортеж.
- •Проекция множества.
- •График и свойства графика
- •Свойства графиков.
- •Прямое (декартовое) произведение множество.
- •Соответствия.
- •Отношения.
- •Операции над отношениями.
- •Основные свойства отношений.
- •Решетки. Диаграммы Хассе.
- •Математическая логика Высказывания и операции над высказываниями.
- •Операции над высказываниями.
- •Формулы математической логики.
- •Формулы равносильности.
- •Различные формы представления высказываний
- •Выполнимость формулы алгебры логики
- •Применение математической логики.
- •Минимизация сложных высказываний.
- •Метод Квайна.
- •Метод минимизирующих карт.
- •Метод минимизации с помощью карт Вейча.
- •Булевые функции и их свойства.
- •Функциональная полнота. Теорема Поста.
- •Логика предикат.
- •Логические операции над предикатами.
- •Квантовые операции.
- •Равносильные формулы логики предикатов.
- •Предваренная нормальная форма предиката
- •Теория графов
- •Основные понятия теории графов
- •Эйлеров граф.
- •Множество внутренней устойчивости графа
- •Алгоритм Магу для определения множества внутренней устойчивости графа
- •Множество внешней устойчивости графа
- •Алгоритм Магу для определения множества внешней устойчивости.
- •Множество путей в графе
- •Алгоритм фронта волны. Поиск минимального пути в графе.
- •Алгоритм фронта волны.
- •Ярусно-параллельная форма графов
- •Деревья и леса
- •Алгоритм получения дерева из графа
- •Теория алгоритмов
- •Рекурсивная функция
- •Пусть даны функции:
- •Машина Тьюринга
- •Работа машины Тьюринга:
- •Нормальные алгоритмы Маркова
- •Теория автоматов
- •Законы функционирования автоматов.
- •Задание автоматов
- •Минимизация автоматов
- •Алгоритм минимизации автомата Мили
- •Особенности минимизации автомата Мура. :
- •Минимизация частичных автоматов.
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мура к автомату Мили
Особенности минимизации автомата Мура. :
Автомат Мура минимизируется аналогично минимизации автомата Мили за исключением первого шага. Выделение класса одноэквивалентных состояний осуществляется по строке выходов отмеченной таблицы переходов автомата Мура.
Минимизация частичных автоматов.
Для того, чтобы провести минимизацию частичных автоматов неопределенное состояние доопределяется самостоятельно. Далее минимизация автоматов осуществляется по вышеизложенному алгоритму.
Переход от автомата Мили к автомату Мура
Автоматы Мили и автоматы Мура отличаются функцией выхода.
Автомат Мили:
(5.5)
Автомат Мура:
(5.6)
То есть произвольному состоянию автомата Мили и входному сигналусоответствует состояниеавтомата Мура:
(5.7)
При этом начальные состояния автоматов Мили и Мура совпадают:
(5.8)
Учитывая вышеизложенное, можно перекодировать таблицу перехода автомата Мили и составить отмеченную таблицу переходов автомата Мура.
ПРИМЕР
Пусть задан автомат Мили
Таблица переходов (ТП) Таблица выходов (ТВ)
|
|
| ||||||
| ||||||||
|
Перекодируем матрицу перехода автомата Мили:
-
/
/
/
/
/
/
Составляем таблицу перехода автомата Мура.
При составлении таблицы перехода автомата Мили рассуждаем следующим образом: состояние автомата Мура соответствует состоянию автомата Мили, следовательно, столбец состоянияавтомата Мура совпадает со столбцом состоянияавтомата Мили.
Так как в автомате Мура произвольному состоянию соответствует некоторый выходной сигнал, то строка выхода отмеченной таблицы перехода автомата Мура однозначно определяется таблицей выхода автомата Мили (состояниюсоответствует выходной сигнал;-)
Выходной сигнал, соответствующий состоянию , выбирается произвольно.
Если автомат Мили содержит m-состояний и n входных символов, то количество состояний автомата Мура определяется по формуле:
(5.9)
Переход от автомата Мура к автомату Мили
Переход от автомата Мура к автомату Мили заключается в построении таблицы выходов. Построение состоит в подстановке выходных сигналов, отмечающих состояния в отмеченной таблице переходов, вместо состояний, в которые автомат переходит. Тем самым, если говорить в терминах графов, выходные сигналы от состояний переносятся на дуги, которые в эти состояния заходят.
А таблица переходов автомата Мили получается из отмеченной таблицы переходов автомата Мура отбрасыванием строки выходов.
ПРИМЕР
Пусть задан автомат Мура в виде отмеченной таблицы перехода
| |||
|
A |
B |
C |
A |
B |
A | |
B |
B |
C | |
C |
A |
C |
Данный автомат может быть представлен в виде графа:
РИС. 5.4. Автомат Мура
Автомат Мили будет иметь вид:
в виде таблиц перехода и выхода
Таблица переходов Таблица выходов
|
|
|
|
|
| |||
|
A |
B |
C |
|
|
A |
B |
C |
A |
B |
A |
| |||||
B |
B |
C |
| |||||
C |
A |
C |
|
в виде графа
РИС. 5.5. Автомат Мили