Anonymous user
Mutual recursion: Difference between revisions
m
added whitespace before the TOC (table of contents), used a larger font to show the formulae.
No edit summary |
m (added whitespace before the TOC (table of contents), used a larger font to show the formulae.) |
||
Line 1:
{{task|recursion}}
Two functions are said to be mutually recursive if the first calls the second,
and in turn the second calls the first.
Write two mutually recursive functions that compute members of the [[wp:Hofstadter sequence#Hofstadter Female and Male sequences|Hofstadter Female and Male sequences]] defined as:
<big>
:<math>
\begin{align}
Line 11 ⟶ 13:
\end{align}
</math>
</big>
<br>(If a language does not allow for a solution using mutually recursive functions
then state this rather than give a solution by other means).
<br><br>
=={{header|ACL2}}==
| |||