Code Language of a Function Property

computation

Definition

Code Language of a Function Property

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

$$L_P=\{⟨M⟩\mid P(F(M))=\mathrm{true}\}$$