(1961) Melzak のモデル: 穴を出入りする小石の集まり
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/02 05:58 UTC 版)
「レジスタマシン」の記事における「(1961) Melzak のモデル: 穴を出入りする小石の集まり」の解説
Melzak (1961) のモデルは上記とは大きく異なる。テープを縦にして、これを「地面の穴; holes in the ground」と呼び、その穴を「小石カウンタ; pebble counters」で満たすというモデルであった。ミンスキーの「インクリメント」と「デクリメント」とは異なり、Melzak のモデルでは任意個の小石の加減算が可能であった。 また、間接指定も定義し（p. 288）、それを使った例も2つ示している（p. 89）。このモデルがチューリング等価であることの証明（p. 290-292）は概略的であって、間接指定がその証明に必須なのかどうかも判然としない。 Melzak のモデルは Lambek が単純化し、後に Cook and Reckhow (1973) でも用語が踏襲されている。
※この「(1961) Melzak のモデル: 穴を出入りする小石の集まり」の解説は、「レジスタマシン」の解説の一部です。
「(1961) Melzak のモデル: 穴を出入りする小石の集まり」を含む「レジスタマシン」の記事については、「レジスタマシン」の概要を参照ください。
ウィキペディア小見出し辞書の「Melzak のモデル: 穴を出入りする小石の集まり」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- Melzak のモデル: 穴を出入りする小石の集まりのページへのリンク
