a formal language comprising a set of instructions that produce various kinds of output.