2 part forth (907ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
442(2): 2008/10/05(日)07:20 AAS
>>437
メモリアクセスできない純粋なスタックマシンなら、スタックが二本ないと
チューリング等価ではないかも知れないが、FORTHはメモリアクセス @ ! が
あるから、たとえスタック一本であってもチューリング等価じゃね？
考えてみればわかるが、メモリアクセスがあるとスタックの本数を自由に増やせる。
FORTHとスタックマシンとConcatenative言語は、それぞれ別の概念で、
単純に等号で結べないから、何について話しているのか意識しないと混乱すると思われ。
447: 2008/10/05(日)17:47 AAS
まず当たり前の大前提の確認からだけど、Forthはチューリング完全だから。
仮にForthの仕様からリターンスタックだけを排除したとしても（それはForthとは呼べないだろうが）
チューリング完全だ。理由は>>442
リターンスタックがBPで代用できるとか正直意味わからん。
スタック演算自体理解してない希ガス。
451(2): 2008/10/05(日)19:02 AAS
>442
大雑把にはこんな感じかね。
・データスタック： 引数＆戻り値
・リターンスタック： 実行する命令列（辞書で展開された単語含む）
リターンスタックというよりもオーダースタックといった方がちょうど良い気がするけどね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.194s*