Основные понятия языков программирования

Большинству работников, даже тем, кто хоть немного знаком с компьютерными программами, весьма сложно написать программу в машинном коде. Это становится тем труднее, чем быстрее происходит увеличение размеров самой программы и сложности решения задачи, которую необходимо решить. Можно сказать, машинный код можно считать оптимальным в том случае, когда размер компьютерной программы не больше пары десятков байтов и когда отсутствует потребность в ручном вводе данных [2, С.569].
Именно по этой причине на сегодняшний день практически все программы до единой пишутся с использованием некоторых языков программирования. Есть такой термин – метаязык, когда компьютерная программа пишется с использованием элементов человеческого языка. Этот прием целесообразно использовать в начале составления алгоритма.
Проблема в том, что из-за высокой неоднозначности человеческого языка преобразовать написанное в машинный код невозможно. Языки программирования отчасти схожи с естественным языком. Также им присущ свой алфавит, грамматика, синтаксические и семантические нормы, словарный запас [4, С.319].
Если посмотреть школьное определение языка программирования – это формальный искусственный язык.
Дадим определение его составляющим:
Алфавит – это разрешенный к использованию набор символов, с помощью которого могут быть образованы слова и величины данного языка.
Синтаксис – система правил, определяющих допустимые конструкции языка программирования из букв алфавита.
Семантика – система правил однозначного толкования каждой языковой конструкции, позволяющих производить процесс обработки данных [26].
Что касается основных терминов языков программирования, они определяются как раз таки семантическими и синтаксическими правилами

. К основным понятиям можно отнести константы, идентификаторы, функции, операторы, процедуры и т. п.
Ещё одна разница между естественным языком и языком программирования в том, что первый заключает в себе ограниченное количество слов и более узкие границы написания операторов. Что же касается грамматической и семантической сторон, и в том, и в другом языке их правила чётко определены.
Изначально программирование имело достаточно примитивный вид и по суди не отличалось от бинарного кода с формализованным подходом.
Попробуем рассмотреть классификацию языков программирования.Языки программирования можно разделить по способу их выполнения на интерпретируемые, совмещенные, компилируемые и компилируемые на основе псевдокода [5, С. 557-559].
Интерпретируемые языки. К этой группе относят язык программирования, исходный код которых считывается и выполняется специальной программой-интерпретатором инструкция за инструкцией. Интерпретируемыми являются большинство версий языков Basic и Forth .
Совмещенные языки. В совмещенных языках исходный код проходит две стадии обработки. На первой стадии происходит компиляция исходного кода до уровня промежуточного языка (байт-код в Java или язык MSIL в технологии .NET). На второй стадии происходит интерпретация промежуточного кода (в Java этим занимается виртуальная машина Java) или докомпиляция промежуточного кода до выполняемого машинного кода (эту функцию осуществляет среда выполнения CLR в технологии .NET).
Компилируемые языки. К этой группе относят язык программирования, исходный код которых преобразуется специальной программой-компилятором в объектные модули, которые затем собираются при помощи программы сборки (линковщика) в единый загружаемый модуль