Минимизация автомата

[mutter123]

Задан автомат $A = (S,X,Y,\delta,\lambda)$, где $S=\left \{ s_0,s_1,...s_14\right \}$ (состояния), $X=\left \{x_0,x_1,x_2\right \}$ (входные сигналы), $Y=\left \{y_0,y_1\right \}$ (выходные сигналы)
$\delta$ - функция переходов, $\lambda$ - функция выходов. Определяются следующим образом:
$\forall s_{i} \in S$ и $\forall x_{j} \in X$
$\delta (s_{i},x_{j}) = s_{l}$, где $l:=i^{2} + j + 6(\mod15)$
$\lambda (s_{i},x_{j}) = y_{k}$, где $k:=\left [ \frac{i + j + 6}{2} \right ](\mod2)$
Я построил следующую таблицу для функций переходов и выходов:

Теперь моя задача минимизировать автомат A. Когда я пытаюсь сделать разбиение на $\varepsilon$ - классы состояний у меня как было 15 состояний, так и остается, т.е сначала у меня такое разбиение: $\left \{ s_0, s_4, s_8, s_{12} \right \},\left \{ s_1, s_5, s_9, s_{13} \right \},\left \{ s_2, s_6, s_{10}, s_{14} \right \},\left \{ s_3, s_7, s_{11} \right \}$, а в конце получается вот такое разбиение: $\left \{ s_0 \right \}, \left \{ s_8 \right \}, \left \{ s_4 \right \}, \left \{ s_{12} \right \}, \left \{ s_1 \right \}, \left \{ s_5 \right \}, \left \{ s_9 \right \}, \left \{ s_{13} \right \}, \left \{ s_2 \right \}, \left \{ s_6 \right \}, \left \{ s_{10} \right \}, \left \{ s_{14} \right \}, \left \{ s_3 \right \}, \left \{ s_7 \right \}, \left \{ s_{11} \right \}$. Не понимаю в чем проблема, уже и таблицу исходную несколько раз перепроверил. Подскажите, пожалуйста, в чем моя ошибка.

[Pphantom]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- не набраны или неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.