Если считать, что счётчик == состояние (конкретное значение, или диапазон) , то почему бы и нет? Главное, что-бы переходы состояний не были "сюрпризом" для алгоритма.
Это моё личное предвзятое мнение. Любое совпадение с реальностью является случайным и непреднамеренным.