Оптимальное кодирование состояний конечного автомата