User blog comment:Ikosarakt1/My Turing machine programs/@comment-25418284-20130330212946/@comment-5150073-20130330222522

f_w(n) can be evaluated in TM, but f_w^CK_1(n) is certainly not.