Здравствуйте, Qbit86, Вы писали:

Q>Означает ли это, что экземпляры состояний и весь граф фиксированы заранее на всё время жизни автомата?
Q>Что если у состояния должно быть своё заранее не фиксированное состояние?

В моей задаче граф в целом известен заранее: это некоторый workflow с диалогами через который проходит пользователь, на некоторых этапах происходит взаимодействие с сервисами в интернете. Показ диалога — объект-состояние, ответ пользователя приведёт к следующему переходу, запрос в интернет — тоже объект-состояние, ответ сервиса приведёт к другому переходу. При переходах можно следующему объекту передавать данные, если это требуется.