テーマ１：非決定性有限オートマトン

非決定性有限オートマトンの状態遷移図を表示し、その上をピンク色の円が移動することで状態の遷移を示した。 ユーザからの入力は0と1の文字で、その文字列をオートマトンへの入力とする。