Языки программирования высокого и низкого уровней. Программы для первых ЭВМ складывались машинном языке, очень далека от понятий, которыми оперирует человек.
Алфавит машинного языка состоит только из двух символов {0, 1}. Для составления программ на таком языке требовалась достаточно высокая квалификация.
Программисты, заинтересованы в облегчении своего труда, и производители ЭВМ заинтересованы в расширении рынка, стали искать выход. Первым шагом на пути создания языков, содержащих понятия, близкие понятием человека, стали языка переводят символические имена в машинные коды (ассемблер).
К языкам программирования низкого уровня принадлежат языка ассемблера - машинно-зависимые языка, описывающих действия в терминах команд процессора. Для каждого типа процессора существует свой язык ассемблера, поэтому для переноса программы на ассемблере на другую аппаратную платформу ее нужно почти полностью переписать.
Позже были созданы программы, которые транслируют арифметические выражения (Автокод), и, наконец, в 1958 году вступил в действие транслятор Фортрану - первого языка высокого уровня (МВР). Языки высокого уровня приближенные к естественным понятий. Эти языки являются машинно-независимыми. С развитием и распространением компьютеров наметился двоякий процесс: появление специальных (Пролог) и универсальных (Паскаль, Си) языков.
Процедурные и непроцедурные языка. Программа, написанная процедурной языке, описывает, как решать, используя при этом такие основные понятия, как следование, ветвление, цикл. Программа, написанная Непроцедурные языке, описывает, что делать, используя такие понятия, как подстановка, ветвление, рекурсия.
Системы программирования. Для удобства создания программ создаются интегрированные среды программирования - системы, которые объединяют редактор текстов программ, транслятор, отладчик (например Turbo Pascal, Turbo С, Turbo Basic). Получили распространение системы визуального программирования - средства, с помощью которых можно быстро создавать программы путем визуального проектирования макета в графическом виде (например, Visual Basic, Visual С, Delphi).