8 lines
107 B
Text
8 lines
107 B
Text
|
|
table
|
||
|
|
f(0) = 1.
|
||
|
|
f(N) = N - m(f(N-1)), N > 0 => true.
|
||
|
|
|
||
|
|
table
|
||
|
|
m(0) = 0.
|
||
|
|
m(N) = N - f(m(N-1)), N > 0 => true.
|