| 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 in the Turing machine simulator): DOT code(it is a standard language to represent graphs): |