Mutual recursion: Difference between revisions
Content added Content deleted
Line 641:
Female (n: INTEGER): INTEGER
-- Female sequence of the Hofstadter Female and Male sequences.
n_not_negative: n >= 0
do
Result := n - Male (Female (n - 1))
end
Line 653 ⟶ 652:
Male (n: INTEGER): INTEGER
-- Male sequence of the Hofstadter Female and Male sequences.
n_not_negative: n >= 0
do
Result := n - Female (Male (n - 1))
end
|