Adjective
Capable of being decided; determinable.
Source: Webster's dictionaryA decision problem which can be solved by an algorithm, such as this example, is called decidable. Source: Internet
Any decidable type system involves a trade-off: while it rejects many incorrect programs, it can also prohibit some correct, albeit unusual programs. Source: Internet
Decidability properties Given two deterministic finite automata A and B, it is decidable whether they accept the same language. Source: Internet
Dale Miller has described what is now called higher-order pattern unification. citation This subset of higher-order unification is decidable and solvable unification problems have most-general unifiers. Source: Internet
For example, whether a machine runs for more than 100 steps on some input is a decidable property, even though it is non-trivial. Source: Internet
Hence it is surprising that Tarski's student Wanda Szmielew (1955) proved that the first order theory of abelian groups, unlike its nonabelian counterpart, is decidable. Source: Internet