computation Definition Decidable Function Property A function property is decidable iff its code language is decidable.