>>866
うまく行きそうな気がしましたけど厳しいです。

　　Ａ　Ｂ
Ｘ　１　２
Ｙ　３　４

ＡとＢが状態、ＸとＹがメッセージです。
Ａ状態でＹメッセージを受けたとき、３を処理してＢに遷移します。
Ｂ状態でＹメッセージを受けたとき、４を処理してＡに遷移します。

先に前処理で状態を遷移させると、Ａ状態のときにＢへ遷移してから４を処理してしまいます。

>>870

個人で作れる範囲のものだとそうかもしれないけど、
大人数で大規模なものを作るといろいろ難しいのです。
ハードウェアやライブラリの制約、過去の資産、スタッフのスキルなどなど…。