＜有限オートマトンおよびチューリング機械の演習＞

Automaton
  田中先生が作成されたJavaScript版を利用するもの

JavaBaseECCS
　AutoSim.jar を利用するもの（古い版）