Xmas 2013「クリスマス」（オートマトン・パスのパズルが生まれたときの問題）

ルール

• 矢印で示された入口から出口までを１本のパスで結ぶ
• パスは全てのマスを１回ずつ通らなければならない
• パス上の文字からなる文字列がオートマトンに受理されなければならない
• 初期状態は S である
• 文字に対応する遷移が存在しない場合はその時点で拒否となる
• 文字に対応する遷移が存在しない場合は「*」の遷移を辿る
• 文字に対応する遷移も「*」の遷移も存在しない場合はその時点で拒否となる
• 終了状態は G でなければならない

操作方法

• ドラッグでパスを引くことができます
• 「チェック」ボタンを押すと正誤判定が行えます
• 「再生」ボタンを押すとオートマトンの遷移がシミュレートされます
• 辺をクリックで補助記号を置けます（正誤判定には影響がないので、好きに使ってください）
• オートマトンはズームしたり頂点を掴んで動かしたりできます