ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
抽象プログラム機械
計算機械の数学モデルの一種で,その動作がある種のプログラムによって定義されるもの.
abstract program machine