Так речь как раз о том, что от количества входных данных растёт количество состояний, соответственно растёт число переходов. Получается (!), точнее даже (_!_)
PS. Книжки пока не прочитал, поверхностно оглядел.
PPS. Я не спорю, что правильно прогать через автоматы, но на данном этапе развития электроники пока, имхо, рановато говорить об этом. Попробуйте логику водяного калорифера автоматом запрогать...