Язык программирования — формальная знаковая система, предназначенная для записи компьютерных программ.
В настоящее время разработаны сотни языков программирования. Обычно их разделяют на машинно-независимые и машинно-ориентированные языки.
Машинно-независимый язык — язык программирования, структура и средства которого не связаны с конкретной ЭВМ и позволяют выполнять составленные на нем программы на любой ЭВМ, снабженной трансляторами с этого языка.
Высокоуровневые языки разработаны для быстроты и удобства использования программистамии (например С++, Java, Pascal, Delphi и др.). Использование разнообразных трансляторов и интерпретаторов обеспечивает связь программ, написанных при помощи языков высокого уровня, с различными операционными системами и оборудованием. Но эта особенность не позволяет создавать простые и точные инструкции к используемому оборудованию. Программы, написанные на языках высокого уровня, проще для понимания программистом, но менее эффективны, чем их аналоги, создаваемые при помощи низкоуровневых языков.
Машинно-ориентированный язык – язык программирования, учитывающий структуру и характеристики ЭВМ определенного типа или конкретной ЭВМ.
Машинно-ориентированные языки обладают специфическими преимуществами и недостатками, в частности:
- высокое качество создаваемых программ (компактность и скорость выполнения);
- возможность использования конкретных аппаратных ресурсов;
- предсказуемость объектного кода и заказов памяти;
- для составления эффективных программ необходимо знать систему команд и особенности функционирования данной ЭВМ;
- трудоемкость процесса составления программ (особенно на машинных языках и ЯСК), плохо защищенного от появления ошибок;
- низкая скорость программирования;
- невозможность непосредственного использования программ, составленных на этих языках, на ЭВМ других типов.
Единственный язык, напрямую выполняемый ЭВМ — это машинный язык (также называемый машинным кодом и языком машинных команд). Изначально все программы писались в машинном коде, но сейчас этого практически уже не делается. Вместо этого программисты пишут исходный код на том или ином языке программирования, затем, используя компилятор, транслируют его в один или несколько этапов в машинный код, готовый к исполнению на процессоре. Но это справедливо только для языков высокого уровня. Если требуется полный контроль над системой на уровне машинных команд и отдельных ячеек памяти, программы пишут на языке низкого уровня.
Машинный язык (абсолютный язык, computer machine language) — язык программирования, предназначенный для представления программ в форме, обеспечивающей возможность их выполнения техническими средствами
Язык ассемблера, мнемонические инструкции которого преобразуются один к одному в соответствующие инструкции машинного языка целевого процессора ЭВМ. (По этой причине трансляторы с языков ассемблера — ассемблера — получаются алгоритмически простейшими трансляторами.)
Машинно-ориентированные языки – это языки, наборы операторов которых существенно зависят от особенностей ЭВМ (внутреннего языка, структуры памяти и т.д.).