меня не смущает инкремент переменной состояния. просто я не вижу смысла здесь описывать явный конечный автомат на switch или таблицах -- для меня это избыточно. Такие вот линейные вещи они обычно у меня являются маленькими подавтоматами другого большего автомата. Посему уменьшение их описаний -- моя конечная цель.
За ссылку спасибо.