Skip to content
Related Articles

Related Articles

Improve Article
Save Article
Like Article

Total Recursive Functions and Partial Recursive Functions in Automata

  • Last Updated : 27 Aug, 2021

Total Recursive Functions: 
A recursive function is called total recursive function if it is defined for its all arguments.Let f(a1, a2, …an) be a function defined on function g(b1, b2, …bn).Then f is a total function if every element of f is assigned to some unique element of function g


Attention reader! Don’t stop learning now.  Practice GATE exam well before the actual exam with the subject-wise and overall quizzes available in GATE Test Series Course.

Learn all GATE CS concepts with Free Live Classes on our youtube channel.

  • A total function is called recursive or primitive recursive if and only if it is an initial function over n, or it is obtained by applying composition or recursion with finite number of times to the initial function over n.
  • Multiplication of two positive integers is total recursive function or primitive recursive function.
  • Not all total recursive function are primitive recursive function.
  • Ackerman’s function is a total function
  • All primitive recursive function are total function.
  • Function like n!, logn are total recursive function.

Partial Recursive Functions: 
A function f(a1, a2, ….an)computed by a TM is known as partial recursive function.if f is defined for some but not all values of a1, a2, ….an.Let f(a1, a2, …an) is a function and defined on function g(b1, b2, ….bn) then f is partial function if some element of f is assigned to almost one element of function g

A partial function is recursive if it is an initial function over N, or it is obtained by applying recursion or composition or minimization on initial function N. 

  • Subtraction of two positive integers is partial recursive function.
  • The composition of partial(total) functions yields a partial(total) function.
  • The minimization of a total recursive function is a partial recursive function.
  • Primitive Recursive function ? Total function ? Partial recursive Functions


My Personal Notes arrow_drop_up
Recommended Articles
Page :