シミュレータプログラムをダウンロードして， プログラムを実行してみます．
オートマトンシミュレータのダウンロード
右のリンクをクリックし，オートマトンシミュレータをダウンロードしましょう: AutoSim.jar (参考: シミュレータについて)
ECCのiMac環境の標準的な設定ではホームディレクトリの中にあるDownloadsという名前のフォルダにAutoSim.jarというファイルが現われます(ブラウザの設定によっては別の場所にダウンロードされるかも知れません)．
ダウンロードされたAutoSim.jarをダブルクリックして実行させてください
次のようなウインドウが開けば，準備完了です．
