>>415
状態遷移をどのように実装するかに依存する話じゃないかなぁ。
\1, \2... の方は多分ストレートな遷移図だけではダメだと思う。
() を示唆するためにいくらか余分な状態を付け足して
その状態を適宜ε遷移で通過させて、状態通過ごとにログを取るとか。