計算可能性について

質問

自然数上の2変数全域関数fとgが次のように定義されているときこれらは計算可能であるか？簡単な理由とともにのべよ。

f(x,y)=0(xが1入力ジャンププログラムのコードで、そのプログラムが入力値100で実行開始すると有限時間で実行終了するとき),y（それ以外の時）

g(x,y)=0(xが1入力ジャンププログラムのコードで、そのプログラム中の変数種類が100個以下の時、つまりプログラム中に変数v101が登場しないとき。),y(それ以外)

という問題なのですがまったくわかりません。なんとなくfもgも計算可能なような気がするのですが・・・
どなたか解答を教えていただけないでしょうか？

回答No.1

stomachman

> なんとなくfもgも計算可能なような気がする

そんな気がするってことは、停止問題を理解なさってないってことではないかなあ。一番のキモですから、じっくり復習なさるべきかと。

お礼

上が計算不可能であることはなんとなくわかりました。
ありがとうございます。