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