computation Definition Undecidable Language Property A language property is undecidable iff its code language is undecidable.