Закодировать входную часть автомата

[Saleen]

Необходимо по этой таблице истинности возбуждения триггеров:
\begin{tabular}{|c|c|c|} \hline q & U & q' & \hline q0 & \=x1 & q0 & q0 & x1x2 & q1 & q0 & x1\=x2 & q6 & q1 & x3 & q2 & q1 & \=x3x4 & q3 & q1 & \=x3\=x4 & q5 & q2 & x3 & q2 & q2 & \=x3x4 & q3 & q2 & \=x3\=x4 & q5 & q3 & x5 & q2 & q3 & \=x5\=x3 & q0 & q3 & \=x5x3 & q4 & q4 & \=x2 & q3 & q4 & x2 & q6 & q5 & \=x5\=x3 & q0 & q5 & \=x5x3 & q4 & q5 & x5 & q2 & q6 & 1 & q2 & \hline \end{tabular}
закодировать состояния q0-q6 так, чтобы упростить функции возбуждения триггеров.

//(Так операция и называется - "Кодирование, упрощающее функции возбуждения
триггеров")

Выписал сколько раз появляются последователи (если они появляются):
\begin{tabular}{|c|c|c|} \hline q1 & q6 & 1 & \hline q3 & q5 & 2 & \hline q0 & q4 & 2 & \hline \end{tabular}
И таблицу числа переходов в состояние:
\begin{tabular}{|c|c|} \hline q0&3 & \hline q1&1 & \hline q2&5 & \hline q3&3 & \hline q4&2 & \hline q5&2 & \hline q6&2 & \hline \end{tabular}

Получилась эта матрица Грея:
\begin{tabular}{|c|c|c|c|} \hline q3 & q5 & q6 & q2 & \hline q0 & q4 & - & q1 & \hline \end{tabular}

Верно ли я составил эту матрицу?