- 巨大数探索スレッド12 [無断転載禁止]©2ch.net
410 :132人目の素数さん[sage]:2017/06/09(金) 19:43:57.10 ID:A9o/M496 - n状態のチューリングマシンでチューリング完全でないものが読み取ることができる関数の上限
ビジービーバー的な関数の値を求めるのはある程度探究されてるがこっち方面も面白そう
| - 巨大数探索スレッド12 [無断転載禁止]©2ch.net
411 :132人目の素数さん[sage]:2017/06/09(金) 19:49:01.00 ID:A9o/M496 - たとえばSコンビネータだけ、Kコンビネータだけとか。
Iコンビネータだけだと定数関数、ステップ数を数えあげても後者関数にしかならない。
|
|