El
lenguaje de máquina o
código máquina es el sistema de códigos directamente interpretable por un circuito microprogramable, como el
microprocesador de una
computadora o el
microcontrolador de un
autómata. Este lenguaje está compuesto por un
conjunto de instrucciones que determinan acciones a ser tomadas por la máquina. Un
programa consiste en una cadena de estas instrucciones más un conjunto de datos sobre el cual se trabaja. Estas instrucciones son normalmente ejecutadas en secuencia, con eventuales cambios de flujo causados por el propio programa o eventos externos. El lenguaje de máquina es específico de la
arquitectura de la máquina, aunque el conjunto de instrucciones disponibles pueda ser similar entre arquitecturas distintas.