Formal notations with defined syntax and meaning, used to express instructions that a computer can execute.