Средства и методы разработки

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