Elgot-Robinson と間接指定のないRASPの問題とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > Elgot-Robinson と間接指定のないRASPの問題の意味・解説 

Elgot-Robinson (1964) と間接指定のないRASPの問題

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/02 05:58 UTC 版)

レジスタマシン」の記事における「Elgot-Robinson (1964) と間接指定のないRASPの問題」の解説

RASP(ランダムアクセス・プログラム内蔵機械)は、レジスタプログラム構成する命令格納するカウンタマシンとして生まれた有限状態機械内の命令レジスタとは別にプログラムカウンタ(PC)と現在の命令を表す数を格納する一時レジスタが必要となる。有限状態機械命令テーブルは、(1) 実行すべき命令適当なレジスタからフェッチし、(2)その命令解析し(3) その命令オペランド指定されレジスタフェッチし、(4) その命令実行する。 ただし、これをカウンタマシン基づいて構築してチューリング等価はならず計算可能なあらゆるものを計算可能とは言えない。このモデル本質的に有限状態機械の持つ命令セット制限されている。カウンタマシン・ベースのRASPは、任意の原始再帰関数例え乗算)は計算可能だが、全てのμ再帰関数例えアッカーマン関数)は計算できない。 Elgot-Robinson はRASPモデルによる命令自己書き換え可能性研究した。この考え方古くからあり、Durks-Goldstine-von Neumann (1946-7) で提案されていた。Melzak (1961) ではこれを "comnputed goto" と称していたが、実際にその代わりに間接指定使っている。Computed goto とは、RASP のプログラムにおいて、条件分岐無条件分岐分岐先を計算によって求めるものである。 しかし、これは(少なくともゲーデル数頼らない限り解決策とはならない必要なのは、有限状態機械命令レジスタ命令テーブル限界を超えて命令フェッチする方法であった。 例として、4つの無限長レジスタを持つカウンタマシン考える。2つの数(m, n)の乗算行おうとすると、m や n の大きさとは関係なく、20程度命令が必要となる。従って、4つしかレジスタのないRASPでは、このプログラムレジスタ格納できないプログラムゲーデル数化して1つレジスタ格納できないかぎり、このRASPは万能とは言えない。 ミンスキー (1967) では、{ CLR (r), INC (r), RPT命令 m を n に対して "a" 回実行) } という命令備えたカウンタマシン示唆している。問題の解決策示されていないが、彼は次のように述べている。 「…プログラムカウンタRPT があと何回命令実行しなければならないかを記憶する必要があり、これが有限なコンピュータ限られた記憶装置消費するかもしれないRPT 命令自体有限個のレジスタしか必要としないが、一般に他の命令とは扱い方変える必要があるだろう」(p. 214) しかし、Elgot and Robinson によって、この問題解決された。彼らの P0 RASP はインデックス付き命令セット強化されている。これは、より複雑だがより柔軟性の高い間接指定方式である。そのモデルでは、レジスタ指定する際に、ベースレジスタインデックスとなる即値(または、ベース即値インデックスレジスタ)が使われる。つまり、インデックス付き命令ではオペランド1つ増えている。

※この「Elgot-Robinson (1964) と間接指定のないRASPの問題」の解説は、「レジスタマシン」の解説の一部です。
「Elgot-Robinson (1964) と間接指定のないRASPの問題」を含む「レジスタマシン」の記事については、「レジスタマシン」の概要を参照ください。

ウィキペディア小見出し辞書の「Elgot-Robinson と間接指定のないRASPの問題」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Elgot-Robinson と間接指定のないRASPの問題」の関連用語

Elgot-Robinson と間接指定のないRASPの問題のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Elgot-Robinson と間接指定のないRASPの問題のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのレジスタマシン (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS