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