6 プログラムの停止性

6.1

次の関数が停止する範囲を求めよ。その範囲で停止することを証明せよ。

f(x)≡if ( x=0 ) then 0 else x+f(x-2)

6.2

次の関数が停止する範囲を求めよ。その範囲で停止することを証明せよ。 また、結果の値を単純な式で表せ。(ここでtak=fである。)

6.3

次の関数が停止する範囲を求めよ。その範囲で停止することを証明せよ。 また、結果の値を単純な式で表せ。