web-dev-qa-db-ja.com

チューリングコンプリートの6つの基本プリミティブとは

私はedXのレッスンを聞いています。教授は、これらの6つの基本的なプリミティブを実行できるすべてのマシンをチューリングコンプリートと呼ぶことができることを強調しています。しかし、6つの基本的なプリミティブは何ですか?

23
YourTeddy

言語チューリングの完全性を提供する6つの基本的な操作/プリミティブは次のとおりです。

  • 右:マシンの頭を現在の正方形の右に移動します
  • 左:マシンの頭を現在の正方形の左側に移動します
  • 印刷:現在の正方形にシンボルを印刷します
  • スキャン:現在の正方形のシンボルを特定します
  • 消去:現在の正方形に表示されているシンボルをすべて消去します
  • なし/停止:何もしない

詳細は Alan TuringのリファレンスWebサイト および/または それに関する小さなビデオ をご覧ください。

24
staticdev

それらはチューリングマシンの基本であり、で構成されています

右:マシンの頭を現在の正方形の右に移動します

左:マシンの頭を現在の正方形の左側に移動します

Print:現在の正方形にシンボルを印刷します

スキャン:現在の正方形のシンボルを特定します

Erase:現在の正方形に表示されているすべてのシンボルを消去します

Nothing/HALT:何もしない

アイデアは、これらの6つのプリミティブを使用して、何でもプログラムできるということです。

0
Wald