実行にはJava言語の実行環境が必要です。
cd (AutoSim.jarが置かれているフォルダ) java -jar AutoSim.jar
本ページで配布するオートマトンシミュレータは、Carl Burch氏が作成し・GNU General Public Licenseの下で公開しているAutomaton SimulatorVersion 1.1 (14 Nov 2006)に、増原英彦がテスト機能を追加したものです。
改変版の配布・公開もGNU General Public Licenseに従います。