From recursive functions to Turing machine

Input

Recursive function:

Examples:
function 'plus 2'
function 'plus'
function 'multiplication'
function 'pred'
function 'sign'
function 'diff'
function 'mod2'
function 'div2'
Help for the syntax


-- Fran├žois Schwarzentruber, francois.schwarzentruber [put AT] ens-rennes.fr