Unsolvable Problems and Computable Functions
Unsolvable Problems and Computable Functions
Computable Functions
Unsolvable or Undecidable
• Any problem that cannot be solved by TM is
called unsolvable or undecidable
• The class of the problem which cannot be
answered as yes is said to undecidable
• A problem is called unsolvable or undecidable
if no algorithm exists that solves the problem
• Divide the problems that can be solved by TM
into two classes,
• Have an algorithm(TM halts whether or not it
accepts I/P) (Decidable)
• Have no algorithms (No matter how long TM
runs, cannot know whether the I/P is accepted
or not) (Undecidable)
Some of the unsolvable problems are
• A non-recursive language and an Unsolvable
problems
• Reducing one problem to another(Halting
Problem)
• Unsolvable Problem involving CFL
Computable functions
Computable functions
are the functions that
can be calculated using
mechanical calculation device
• Each computable function f takes a fixed finite
number of natural numbers as arguments
• The computable function f returns an output for
some inputs
• For some inputs, it may not return an output.
• Due to this, a computable function is a partial
recursive function
• If the computable function is defined for all
possible arguments, it is called total computable
function or total recursive function
EXAMPLE f(x1, x2,……xk)
Characteristics of a computable function
PRIMITIVE RECURSIVE
FUNCTIONS