1) машинные языки – это командные языки, которые имеет каждый отдельный компьютер;

2) языки символического кодирования – это языки, которые, как и машинные языки, являются командными;

3) автокоды – это языки, которые включают в себя все возможности языков символического кодирования через использование макрокоманд.

Макрокоманда – это часто использующаяся командная последовательность, соответствующая определенной процедуре преобразования информации.

Ассемблеры – это развитые автокоды;

4) макрос – это язык, который выступает средством замены определенной последовательности символов, описывающих сценарии действий ЭВМ при решении той или иной задачи, на более сжатую форму. Машинно–независимые системы – это системы, в которых используются высокоуровневые языки программирования.

Высокоуровневые языки программирования применяются в машинно–независимых системах программирования. Данные системы программирования по сравнению с машинно–ориентированными системами являются более простыми в использовании.

Языки программирования высокого уровня делятся на следующие виды:

1) процедурно–ориентированные языки, предназначенные для записи процедур или алгоритмов обработки информации для каждого определенного круга задач:

а) язык Фортран (Fortran), название которого переводится как Formulae Translation – «преобразование формул». Фортран является одним из старейших языков программирования высокого уровня. Столь длительное его существование объясняется простотой структуры данного языка;

б) язык Бейсик (Basic), название которого расшифровывается как «B eginner's A ll–purpose S ymbolic I nstruction C ode» (BASIC) – «многоцелевой символический обучающий код для начинающих», был создан в 1964 г. как язык для обучения программированию;

в) язык Си (С), разработанный в 1970–е гг. как язык системного программирования специально для написания операционной системы UNIX. В 1980–е гг. на основе языка С был разработан язык С++, который практически включает язык С и дополнен средствами объектно–ориентированного программирования;

г) язык Паскаль (Pascal), названный в честь французского ученого Б. Паскаля, был разработан в 1968—1971 гг. Н. Виртом.

Первоначально Паскаль создавался для обучения программированию, однако со временем стал широко использоваться для разработки программных средств в профессиональном программировании;

2) проблемно–ориентированные языки, предназначенные для решения целых классов новых задач, возникших в связи с постоянным расширением области применения вычислительной техники:

а) язык Лисп (Lisp – L ist I nformation S ymbol P rocessing), изобретенный в 1962 г. Дж. Мак–карти как средство для работы со строками символов. Лисп используется в экспертных системах, системах аналитических вычислений и т.п.;

б) язык Пролог (Prolog – Pro gramming in Log ic), предназначенный для логического программирования в системах искусственного интеллекта;

3) объектно–ориентированные языки, которые на сегодняшний день являются наиболее бурно развивающимися. Большинство из этих языков представляет собой развитые версии процедурных и проблемных языков, но программирование с помощью языков данной группы является более наглядным и простым. Среди наиболее популярных объектно–ориентированных языков выделяют:

а) Visual Basic (~ Basic);

б) Delphi (~ Pascal);

в) Visual Fortran (~ Fortran);

г) С++ (« С);

д) Prolog++ (~ Prolog).

Процедурно–ориентированные языки используются как средство записи процедур или алгоритмов обработки информации для каждого определенного круга задач. Они являются одной из основных разновидностей языков программирования высокого уровня. Среди наиболее популярных процедурно–ориентированных языков можно выделить: