Лекция 01. Тема Общая характеристика языков программирования высокого уровня

Логические языки 
Основаны на символьной исчисления высказываний и логике 

---

предикатов. Здесь не существует порядка выполнения команд, задаваемом 
операторами действий императивных языков. Система реализации ЭВМ сама 
выбирает порядок выполнения команд в соответствии с правилами 
логического вывода, который приведет к нужному результату. Характерным 
представителем логического программирования является язык Prolog и его 
диалекты. Эффективность реализации логических языков в архитектуре фон 
Неймана также оставляет желать лучшего. Однако, для создания экспертных 
систем, основанных на продукционных правилах, логические языки подходят 
абсолютно.
1.3. Классификация языков программирования
Классифицировать ЯП можно по различным основаниям, например, 
традиционно существует классификация по уровню представления 
конструкций языка: 

на нижнем уровне выделяют машинный язык, представляющий 
собой двух- и трехадресные операции в двоичном коде; 

следующий уровень – это ассемблеры, т.е. языки конструктивно 
представляющие собой команды различной адресности, но 
оперирующие уже мнемоникой (буквенными символами) при 
обозначении той или иной команды вместо числового двоичного 
кода операции и идентификаторов операндов операции;

верхний уровень – языки программирования высокого уровня 
(ЯПВУ), которые построены по принципам естественного языка, 
т.е. состоят из слов и предложений (операторов или команд), 
сконструированных из латинского или русского алфавита. 
В рамках данного курса рассматриваются вопросы, связанные с 
разработкой именно языков программирования высокого уровня как 
наиболее развитого и широко представленного на практике класса языков. 
Как правило, такие языки являются достаточно универсальными, но все же 
традиционно имеют специфику, направленную на решение задач, 

---

определенных классов. Поэтому ниже рассматривается классификация с 
точки зрения применения ЯПВУ в тех или иных областях практической 
деятельности.
1. Научные 
приложения (языки типа Fortran), для которых 
обязательным требованием является наличие:

арифметики с плавающей точкой, т.е. реальных чисел;

массивов, для реализации операций с векторами и матрицами;

циклических конструкций, для осуществления итерационных 
вычислений.
2. Коммерческое направление (язык Cobol, электронные таблицы типа 
Exel). Здесь необходимо обеспечить:

выполнение операций с фиксированной точкой;

генерацию различных отчетов, а, следовательно, должна быть 
мощная обработка строковых данных;

возможность обрабатывать большие объемы данных.
3. Системы 
искусственного 
интеллекта 
(языки 
Lisp, 
Prolog) 
ориентированы на задачи обработки текстовых символов, вывод решений в 
нестандартных ситуациях, общение с пользователем на естественном языке. 
4. В системном программировании необходимы средства низкого 
уровня для написания программ (драйверов) связи с аппаратурой. Наиболее 
подходящим языком здесь является язык С, т.к. в своем составе он имеет 
набор битовых операций.
5. Существует 
широкий 
класс 
специализированных 
языков, 
разработанных для решения задачи управления различными техническими и 
промышленными устройствами.
6. Кроме того, с развитием Интернет-технологий и облачных сервисов 
постоянно появляется ряд языков, используемых для разработки Web-
приложений (Python, php, R и др.). 

---