What Is Recognizable and Decidable?

A language is said to be Decidable if there is a Machine that will accept strings in the language and reject strings not in the language. 2. A Language is called Turing Recognizable if some Turing Machine recognizes it.

What is the difference between decidable and recognizable?

If L is decidable, then L is recognized by a TM M that halts on all inputs. Note that, L might be recognized by other TM M' that does not always halt. If L is recognizable, then there might be such TM M that recognizes L but run forever, rather than rejecting, some inputs not in L.

What does it mean when a language is recognizable?

A language is Recognizable iff there is a Turing Machine which will halt and accept only the strings in that language and for strings not in the language, the TM either rejects, or does not halt at all.

Maya Lin-Takahashi

Maya Lin-Takahashi

Consumer Tech & Gadget Reviewer

Maya is a hardware enthusiast who tests and reviews smart home devices, smartphones, wearables, and audio gear. She focuses on practical consumer value and build quality.