>  2000/12/16 (土) 05:31:40        [mirai]
> > アルファベットは使ってないらしい
> > チューリング機械とか有限オートマトンでも通用しなかった
> > なんなんだろう?
> 現役の高名な大学に行ってるヤシならやっぱ造作もない問題なのだろうか(;´Д`)ウトゥ

非決定性有限オートマ㌧ヽ(´~`)ノ
俺は未だにバックトラックが理解出来ないウトゥだ
それはそうとして
     「計算可能関数とは帰納的関数のことに他ならない」
ヽ(´~`)ノチャーチの提唱のようなもの
http://rqkkc.ctw.cc/scmc02.lzh

参考:2000/12/16(土)05時15分10秒