2 part forth

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

437(3): デフォルトの名無しさん [sage] 2008/10/04(土) 23:25:44 AAS
データスタックとリターンスタックがないと
チューリングマシンと等価じゃないらしいぞ

438: デフォルトの名無しさん [sage] 2008/10/05(日) 00:17:09 AAS
>>437
等価じゃないとはよく聞くけど、等価じゃないとする説明ってどっかにないですかね。
それで実用で困ることありますかね。

442(2): デフォルトの名無しさん [sage] 2008/10/05(日) 07:20:41 AAS
>>437
メモリアクセスできない純粋なスタックマシンなら、スタックが二本ないと
チューリング等価ではないかも知れないが、FORTHはメモリアクセス @ ! が
あるから、たとえスタック一本であってもチューリング等価じゃね？
考えてみればわかるが、メモリアクセスがあるとスタックの本数を自由に増やせる。

FORTHとスタックマシンとConcatenative言語は、それぞれ別の概念で、
単純に等号で結べないから、何について話しているのか意識しないと混乱すると思われ。

449: デフォルトの名無しさん [sage] 2008/10/05(日) 18:35:04 AAS
>>437
スタックオートマトンとスタックマシンをごっちゃにしてる気がする。

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.047s