| Recursive function: | Examples:function 'plus 2'function 'plus'function 'multiplication' | function 'pred'function 'sign'function 'diff' | function 'mod2'function 'div2' | Help for the syntax |
| Turing machine for simulation(to put inthe Turing machine simulator):DOT code(it is a standard language to represent graphs): |