digraph finite_state_machine {
//    rankdir=LR;
//    size="4,2";
    fontpath="/var/lib/defoma/x-ttcidfont-conf.d/dirs/TrueType";
    node [fontsize="7" fontname="sazanami-gothic.ttf"];
    edge [fontsize="7" fontname="sazanami-gothic.ttf"];

    start -> a1 [ label = "goNext/A3初期化" ];
    a1 -> a2 [ label = "@finished@/メッセージ表示" ];
    a2 -> a3 [ label = "@finished@/文字入力" ];
    a3 -> a4 [ label = "@finished@/データ検索" ];
    a4 -> a5 [ label = "@finished@/データ表示" ];
    a5 -> a6 [ label = "@finished@/変数消去todoufuken" ] ;
    a6 -> a7 [ label = "@finished@/変数消去kencho" ] ;
    a7 -> a1 [ label = "@finished@/エンター待ち" ] ;
}
