#тои zanyatie_18
.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}
Задачи для самостоятельного решения
● Для заданной таблицы функций переходов и выходов, преобразовать конечный автомат Мура в эквивалентный автомат Мили (графическим и табличным способами преобразования)
Задачи для самостоятельного решения
● Для заданной таблицы функций переходов и выходов, преобразовать конечный автомат Мили в эквивалентный автомат Мура. В начальном такте автомат находится в состоянии S2
Задачи для самостоятельного решения
● Минимизировать число состояний автомата, заданного функцией переходов и выходов автомата Мили