ステートマシン図での折り返しについて念のため補足です。
ステート内の文字列（名前,entry,do,exit,内部遷移）については、折り返しに未対応ですが、遷移（矢印）のラベルについては、折り返しに対応しています。