Decidable: meaning, definitions and examples
💡
decidable
[ dɪˈsaɪdəbl ]
computing
Capable of being decided by an algorithm or a formal proof.
Synonyms
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
Etymology
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.
See also: decidability, decide, decided, decider, deciding, decision, decisive, decisively, decisiveness, indecisive, undecided.