Sistema formal comprendiendo los conjuntos lógicos necesarios para poder realizar tareas específicas. Escrito en un lenguaje cercano al lenguaje de la máquina por programadores, usando operaciones lógicas necesarias para la correcta implementación en contrapartida al Hardware que es el que ejecutará la orden.