Decidability

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Property of a decision problem meaning there exists an effective (algorithmic) procedure, in the chosen model of computation, that always halts and correctly answers whether an input belongs to the language.