We know about Decidable, Semi-decidable, and Undecidable problems and in this article, we will briefly define these problems and provide the most commonly asked questions on these problems and classify them accordingly.

**Prerequisite –** https://www.geeksforgeeks.org/decidable-and-undecidable-problems-in-theory-of-computation/

**Introduction :**

Identifying the type of language is a very frequently asked question in Gate and other exams. However, there are some problems which are frequently asked and here in this article we shall discuss all those problems. We shall also solve few examples in this article to make the topic more clear.

**Decidable Problems : **

The decidable problems are those problems for which there exists a corresponding Turing machine that halts on every input with an answer- yes (accepting) or no (rejecting). It is also called Turing Decidable.

**Semi-Decidable Problems : **

Semi-Decidable problems are those problems for which a Turing machine halts on the input accepted by it but can either loop forever or halt on the input which is rejected by the Turing Machine. It is also called Turing Recognizable problems.

**Undecidable Problems : **

Undecidable problems are those problems for which there exists no Turing machine which will always halt an infinite amount of time to give an answer as ‘yes’ or ‘no’. An undecidable problem has no algorithm to determine the answer for a given input. It can be partially decidable but never decidable. They are also known as Non-Recursively Enumerable Language.

**Classification Table:**

Now we will classify most commonly asked problems as Decidable, Semi-decidable and Undecidable. Here in the tables below, D means Decidable, SD means Semi-Decidable and NR means Not-Recursively Enumerable. Undecidable can be either Semi-Decidable or Not-Recursively Enumerable language.

Regular Language | Deterministic-Context Free Language | Context Free Language | Context Sensitive Language/ Recursive Language | Recursively Enumerable Language | |
---|---|---|---|---|---|

Halting Problem | D | D | D | D | SD |

Membership Problem | D | D | D | D | SD |

Emptiness Problem | D | D | D | NR | NR |

Finiteness Problem | D | D | D | NR | NR |

Totality Problem | D | D | NR | NR | NR |

Equivalence Problem | D | D | NR | NR | NR |

Disjoint Problem | D | NR | NR | NR | NR |

Set-Containment Problem | D | NR | NR | NR | NR |

**Decidability Classification Table :**

Another table is as follows.

Regular Language | Deterministic-Context Free Language | Context Free Language | Context Sensitive Language/ Recursive Language | Recursively Enumerable Language | |
---|---|---|---|---|---|

Not Halting Problem | D | D | D | D | NR |

Not Membership Problem | D | D | D | D | NR |

Not Emptiness Problem | D | D | D | SD | SD |

Not Finiteness Problem | D | D | D | NR | NR |

Not Totality Problem | D | D | SD | SD | NR |

Not Equivalence Problem | D | D | SD | SD | NR |

Not Disjoint Problem | D | SD | SD | SD | SD |

Not Set-Containment Problem | D | SD | SD | SD | NR |

**Examples :**

Here, we will discuss some examples for better understanding as follows.

**Example-1 : **

{TM | No. of states in TM=2. } **Solution –**

Decidable as for this we have to find no. of nodes in the graph.

**Example-2 : **

TM halts after 100 moves.**Solution – **

Decidable** **as we have logic for both ‘yes’ or ‘no’.

Yes : No string halts within 100 moves. (Check up to 100 length string). No : At least one string halts within 100 moves.

**Example-3 : **

TM halts on w after 100 moves.**Solution – **

Semi-Decidable** **as we have logic for only ‘yes’ and no logic for ‘no’.

Yes : Halts after 100 moves has a logic. No : Doesn't halt after 100 moves have no logic as can go into an infinite loop or never halt.

**Example-4 : **

TM reaches state q.**Solution – **

Semi-Decidable** **as we have logic for only ‘yes’ and no logic for ‘no’.

Yes : We have logic for yes as TM reaches state q we will come to know. No : No logic for no as TM can never reach state q or can fall into an infinite loop before reaching q and will never come to know.

**Example-5 : **

Consider when given grammar generates Context Free Language.**Solution – **

Undecidable** **as we have no logic for ‘Yes’ — that the given grammar generates CFL.