Decidable: meaning, definitions and examples

💡

Add to dictionary

decidable

[ dɪˈsaɪdəbl ]

^{Context #1}

computing

Capable of being decided by an algorithm or a formal proof.

Synonyms

computable, solvable

Examples of usage

Whether a problem is decidable or undecidable has important implications in computer science.
In the theory of computation, a language is decidable if there exists an algorithm that can determine whether a given input string belongs to the language.

Translations

Translations of the word "decidable" in other languages:

🇵🇹 decidível

🇮🇳 निर्णेय

🇩🇪 entscheidbar

🇮🇩 dapat diputuskan

🇺🇦 вирішуваний

🇵🇱 rozstrzygalny

🇯🇵 決定可能

🇫🇷 décidable

🇪🇸 decidible

🇹🇷 karar verilebilir

🇰🇷 결정 가능

🇸🇦 قابل للقرار

🇨🇿 rozhodnutelný

🇸🇰 rozhodnuteľný

🇨🇳 可判定

🇸🇮 odločljiv

🇮🇸 ákveðinn

🇰🇿 шешілетін

🇬🇪 გადაწყვეტადი

🇦🇿 qərar verilə bilən

🇲🇽 decidible

Word origin

The term 'decidable' originated in the field of mathematics and computer science. It is closely related to the concept of computability and the work of mathematicians such as Alan Turing and Kurt Gödel. The study of decidability has had a profound impact on the development of algorithms and formal languages.