Back to ComputerTerms
A set M of n-tuples is decidable if there exists an algorithm that halts on every n-tuple of natural numbers and reports "YES" or "NO" depending on whether the n-tuple belongs to the set or not.
Back to ComputerTerms
Back to ComputerTerms
A set M of n-tuples is decidable if there exists an algorithm that halts on every n-tuple of natural numbers and reports "YES" or "NO" depending on whether the n-tuple belongs to the set or not.
Back to ComputerTerms
Decidable (last edited 2003-11-02 21:56:10 by yakko)