konsultatsia
.pdf● Минимизация состояний автомата
Для минимизации числа состояний конечного автомата необходимо:
● Найти последовательные разбиения (π1,π2,…, πk,πk+1) множества состояний исходного автомата на классы эквивалентных состояний, до достижения равенства πk=πk+1
● В каждом классе эквивалентности выбрать по одному элементу (представителю класса), которые будут
образовывать множество состояний минимального автомата, а "лишние" состояния удалить
● Минимизировать число состояний автомата Мили
π0 = {S1,S2,S3,S4,S5,S6,S7,S8}
Состояния автомата разделяются на классы одно-эквивалентных
состояний, имеющих одинаковые выходные сигналы
π1 ={A1, A2, A3}
π1 ={A1, A2, A3}
Из таблицы выбираются классы одно-эквивалентных состояний и соответствующие каждому из них множества состояний автомата
A1={S1,S4,S6} |
={S2 |
A3={S5,S7,S8} |
Если состояние автомата входит в множество, соответствующее классу состояний, то в таблице переходов это состояние заменяется значением класса
Разделяем состояния автомата на классы двух-эквивалентных состояний, если функции переходов в полученном автомате не совпадают
π2 ={B1,B2,B3,B4}
Из таблицы выбираются классы двух-эквивалентных состояний и соответствующие каждому из них множества состояний автомата
B1={S1,S4,S6} B2= {S2,S3} B3={S5,S7} B4={S8}
π2 ={B1,B2,B3,B4}
B1={S1,S4,S6} B2= {S2,S3} B3={S5,S7} B4={S8}
Если состояние автомата входит в множество, соответствующее классу состояний, то в таблице переходов это состояние заменяется значением класса
Функции перехода для класса двух-эквивалентных состояний совпадают т.е. дальнейшей минимизации автомата
не требуется
Для определения минимального автомата необходимо выбрать по одному представителю из каждого класса эквивалентности, а "лишние" состояния удалить
B1= {S1,S4,S6} B2= {S2,S3} B3={S5,S7} B4={S8}
Задача №7
● Минимизировать число состояний автомата, заданного функцией переходов и выходов автомата Мили
● Объединение отношений
Результатом объединения отношений R1 и R2 является отношение, содержащее все кортежи, которые принадлежат
R1 или R2 (атрибуты отношений должны совпадать)
Синтаксис операции:
R1 UNION R2
Синтаксис на языке SQL: SELECT *
FROM R1
UNION
SELECT *
FROM R2
● Пересечение отношений
Результатом пересечения отношений R1 и R2 является отношение, содержащее кортежи, принадлежащие R1 и R2
(атрибуты отношений должны совпадать)
Синтаксис операции: R1 INTERSECT R2
Синтаксис на языке SQL:
SELECT *
FROM R1
INTERSECT
SELECT *
FROM R2
● Разность отношений
Результатом разности отношений R1 и R2 является отношение, все кортежи которого принадлежат R1 и не принадлежат R2 (атрибуты отношений должны совпадать)
Синтаксис операции:
R1 MINUS R2
Синтаксис на языке SQL:
SELECT *
FROM R1
EXCEPT
SELECT *
FROM R2