using composition primitive recursion recursion instance math f x h xg x math 'f ' appear terms like 'g ' 'h ' must occur computation terminates final term gives value recursive function applied inputs markov algorithm string rewriting system uses grammar like rules operate strings symbols register machine theoretically interesting idealization computer several variants register hold natural number unlimited size instructions simple number eg
Formal science Computer science Theory of computation