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

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

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

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

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

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

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

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

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