What does Syntax mean? Assumes or enables a model of computation. Can be denotational (strictly literal), operational, and axiomatic (self-evident).