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.

Los circuitos microprogramables son digitales, lo que significa que trabajan con
dos �nicos niveles de tensi�n. Dichos niveles, por abstracci�n, se simbolizan con
los n�meros 0 y 1, por eso el lenguaje de m�quina s�lo utiliza dichos signos. Esto
permite el empleo de las teor�as del �lgebra booleana y del sistema binario en el
dise�o de este tipo de circuitos y en su programaci�n.

Claude Elwood Shannon, en su libro Analysis of Relay and Switching Circuits, y con
sus experiencias en redes de conmutaci�n, sent� las bases para la aplicaci�n del
�lgebra de Boole a las redes de conmutaci�n. Una red de conmutaci�n es un circuito
de interruptores el�ctricos que al cumplir ciertas combinaciones booleanas con las
variables de entrada, define el estado de la salida. Este concepto es el n�cleo de
las puertas l�gicas, las cuales son, por su parte, los ladrillos con que se
construyen sistemas l�gicos cada vez m�s complejos. Shannon utilizaba el rel� como
dispositivo f�sico de conmutaci�n en sus redes, dado que el rel�, a igual que una
l�mpara el�ctrica, posee dos estados: activado (encendido) o desactivado (apagado).

El desarrollo tecnol�gico ha permitido evolucionar desde las redes de rel�s

electromagn�ticos a circuitos con tubos de vac�o, luego a redes transistorizadas,
hasta llegar a los modernos circuitos integrados, en cuya c�spide se encuentran los
circuitos microprogramados.