Showing content from http://people.irisa.fr/Francois.Schwarzentruber/recursive_functions_to_turing_machines/ below:
From recursive functions to Turing machine
Recursive function:
Examples:
function 'plus 2'
function 'plus'
function 'multiplication' function 'pred'
function 'sign'
function 'diff' function 'mod2'
function 'div2' Help for the syntax
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4