Expressions
A syntactic entity that may be evaluated to determine its value.
Statement
A command that alters the state of the machine in some explicit way.
Declaration
A syntactic entity that introduces a new identier, often specifying one or more attributes.