computation Definition Code Language of a Function Property For a function property , the associated code language over machine encodings is: