1. シミュレータのダウンロードと実行

シミュレータプログラムをダウンロードして， プログラムを実行してみます．

オートマトンシミュレータのダウンロード

右のリンクをクリックし，オートマトンシミュレータをダウンロードしましょう: AutoSim.jar (参考: シミュレータについて)

ECCのiMac環境の標準的な設定ではホームディレクトリの中にあるDownloadsという名前のフォルダにAutoSim.jarというファイルが現われます (ブラウザの設定によっては別の場所にダウンロードされるかも知れません)．

シミュレータプログラムの実行

1. 「ターミナル」を起動します。
2. 「ci114009m:~ 1131255758$」のようなプロンプトが表示されたら、以下の赤字部分を入力してゆきます。それぞれの行の最後には Return または Enter と書かれたキーを押します。

   ci114009m:~ 1131255758$ cd Downloads
   ci114009m:Downloads 1131255758$ ls (1文字目はLの小文字です)
   AutoSim.jar (他のファイル名も表示されるかも知れませんが、AutoSim.jarという名前が現われない場合は上の2つの手順が正しいかを確認し直して下さい。)
   ci114009m:Downloads 1131255758$ java -jar AutoSim.jar (Sが大文字であることに注意)
   

次のようなウインドウが開けば，準備完了です．