формальный язык для описания программ решения задачи, содержание и правила к-рого реализуются аппаратными средствами конкретной ЭВМ. Программа, составленная на М. я., содержит вполне определённые команды для выполнения каждой операции. В отличие от др. языков программирования, в М. я. команды представляются цифровыми кодами (в большинстве ЭВМ двоичными), что придаёт этому языку большую гибкость, в частности возможность описания практически любых алгоритмов. Иногда также М. я. наз. система команд ЭВМ.