кодирование переходом состояний