These are strings that: Have an Opcode Take an input set of operands Produce one or zero result values Strongly Typed