<チューリング機械の演習> TuringMachine 田中先生が作成されたJavaScript版を利用するもの JavaBaseECCS  AutoSim.jar を利用するもの(古い版)