Минимизация абстрактного автомата Мили

Абстрактный автомат Мили задан таблицей переходов/выходов:
x(t) s(t)
 s1 s2 s3 s4 s5 s6 s7 s8
x1 S3/y3 S4/y1 S2/y3 S7/y1 S3/y3 S4/y1 S5/y3 S5/y3
х2 S2/y2 S8/y3 S4/y2 S1/y3 S6/y2 S8/y3 S3/y2 S3/y2
х3 S4/y1 S1/y2 S7/y1 S3/y2 S4/y1 S2/y2 S6/y1 S2/y1
Таблица 1

Эта таблица определяет функцию переходов автомата s(t+1) = П [x(t), s(t)] и функцию выходов y(t) = B[x(t), y(t)]. Здесь s(t) - состояние, x(t) - входной и y(t) - выходной символ автомата в момент времени t.
Требуется:
а) минимизировать число состояний абстрактного автомата;
б) построить реакции исходного и минимизированного автоматов на входное воздействие x2x1x3x1x3x3x1x2, если начальное состояние автомата s[0] = s1;
в) Выбрать элементную базу комбинационной части и синтезировать
схему автомата на D-триггерах.