ito/TuringMachine のバックアップ(No.3) - PukiWiki

Turing Machine のページ

Turing Machine の簡易シミュレータ

対応している環境

ダウンロードと使い方

ダウンロードはこちら fileTuring.zip

ダウンロードしたzipファイルを展開して、コンパイルします。

ビルドの方法

デバッグ情報を含めず、バイナリのサイズを小さくするには、 TARGET_EDITION=Release を指定する。 例:

使い方

Turing Machine の定義を書いたファイルを用意する。 ファイルのサンプルはこちら filein1.txt

実行

環境にあった実行ファイルに、入力ファイルと出力ファイルの名前を引数に渡す

出力ファイルを省略すると、標準出力に(色つきで)表示する。 入力ファイルも省略すると、最初に入力ファイルの名前を聞かれる。

標準出力への表示は、色つき(エスケープシーケンス使用)なので、 この結果をファイルにリダイレクトすると、大抵表示が乱れる。 ファイルへの書き込みは、リダイレクトを使うより、 ファイル名を引数に指定するほうがよい。

おまけ: Windowsで、Visual Studio 6.0 および Visual Studio .NET でも動くかもしれない。

g(2), g(3) の計算

Links

論理と計算

ito


トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSSPDF