Skip to content

Latest commit

 

History

History
68 lines (47 loc) · 1.3 KB

README.md

File metadata and controls

68 lines (47 loc) · 1.3 KB
Raw

Snail's Machine

これはなに

  • Turing Machine Simulatorです
  • json/toml/yaml形式で状態遷移関数を記述し、それを読み込んでシミュレーションを行います

Dependencies

  • Rust

Build

Native Build

cargo build --release

Cross Build

対応ターゲット

  • x86_64-unknown-linux-gnu
  • aarch64-unknown-linux-gnu
  • x86_64-apple-darwin
  • aaarch64-apple-darwin

Build

rustup target add [TARGET]
cargo build --release --target [TARGET]

Usage

./target/release/snails-machine [OPTIONS] <TAPE>
  • TAPE: テープの初期状態を指定します
  • OPTIONS:
    • -f, --file: 状態遷移関数を記述したファイルを指定します (デフォルト: ./machine.toml)

Example

チューリングマシンの例として10進数の加算器(Incrementer)をmachine.tomlに用意しています。

./target/release/snails-machine -f ./machine.toml 999
Running: [__999_]: (q0, 9) -> (q0, 9)
Running: [__999_]: (q0, 9) -> (q0, 9)
Running: [__999_]: (q0, 9) -> (q0, 9)
Running: [__999_]: (q0, _) -> (q1, _)
Running: [__999_]: (q1, 9) -> (q1, 0)
Running: [__990_]: (q1, 9) -> (q1, 0)
Running: [__900_]: (q1, 9) -> (q1, 0)
Running: [__000_]: (q1, _) -> (q2, 1)
 Accept: [_1000_]

License

MIT