машинный код

Ответ от ?[гуру]
Процессор может механически исполнить инструкции в двоичном коде. Система кодов у разных производителей и в рамках различных поколений процессоров отличается. Это означает, что программа для одного компьютера в общем случае может и не запуститься на другом из-за наличия несуществующих или отсутствия необходимых команд. Двоичные коды Вы можете записать их компактно в шестнадцатеричной системе счисления например в виде CA 01 B3, такое представление двоичного кода сокращает запись, но не предоставляет программисту наглядности и читаемости, которую можно получить заменив код операции (машинный опкод) на слова-мнемоники. Так появляется ассемблер с инструкциями вроде MOV AX, BX, где широко используются символьные сокращения. Код ассемблера практически 1 в 1 соответствует машинному. Ясно, что если программа или какая-то функция написана один раз, желательно ее использовать повторно. Тут возникает идея языка высокого уровня, в котором 1 команда разворачивалась бы в десятки-сотни строк выверенного машинного кода. Исходный текст обрабатывается в общем случае несколькими программами - препроцессором, компилятором (в котором есть лексический и синтаксический анализаторы и др. подпрограммы) , затем код ассемблируется. Но машинный код еще не готов - надо связать модули (хранилища/заготовки проверенного кода) , организовать адресное пространство, подготовить заголовки загрузчика и т. п. Этим занимается линкер, который превращает объектные файлы и подключаемые библиотеки в окончательные машинные исполняемые коды (они бывают разных форматов pe/elf и др. зависит от операционной системы) . Кроссплатформенные языки вроде Java, PHP, Python и др. основаны на идее предварительной компиляции программы в опкоды виртуальной машины, разные версии исполняемого кода которой доступны на разных платформах (имеется ввиду семейство процессоров и операционная система: Intel/Win32, Arm/Android, AMD/Linux и т. п.)