Code Language of a Language Property

computation

Definition

Code Language of a Language Property

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

$$L_P=\{⟨M⟩\mid P(L(M))=true\}\subseteq \{0,1{\}}^{\ast }$$

where $⟨M⟩$ is the encoding of a Turing machine.