Code Language of a Language Property

computation

Definition

Code Language of a Language Property

For a language property , the associated code language over machine encodings is:

where is the encoding of a Turing machine.