Машинно-ориентированные и машинно-независимые языки Процедурные языки

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

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

высокое качество создаваемых программ (компактность и скорость выполнения);

возможность использования конкретных аппаратных ресурсов;

предсказуемость объектного кода и заказов памяти;

для составления эффективных программ необходимо знать систему команд и особенности функционирования данной ЭВМ;

трудоемкость процесса составления программ (особенно на машинных языках и ЯСК), плохо защищенного от появления ошибок;

низкая скорость программирования;

невозможность непосредственного использования программ, составленных на этих языках, на ЭВМ других типов.

Машинно-ориентированные языки по степени автоматического программирования подразделяются на классы.

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

Программа на процедурном языке программирования состоит из последовательности операторов(инструкций), задающих процедуру решения задачи.Выполнение программы сводится к последовательномувыполнению операторов с целью преобразования исходного состояния памяти, то есть значений исходныхданных, в заключительное, то есть в результаты.

 

Процедурные языки программирования

Ада (язык общего назначения)

Бейсик (версии начиная с Quick Basic до появления Visual Basic)

Си

КОБОЛ

Фортран

Модула-2

Паскаль

ПЛ/1

Рапира

 

 

Декларативные языки

Декларативный язык программирования - язык программирования высокого уровня, построенный:
- на описании данных;

и
- на описании искомого результата.

К ним относятся функциональные и логические языки программирования. Функциональное программирование- это способ составления программ, в которых единственным действием является вызов функции. В функциональном программировании не используется память, как место для хранения данных, а, следовательно, не используются промежуточные переменные, операторы присваивания и циклы. Ключевым понятием в функциональных языках является выражение. Программа, написанная на функциональном языке, представляет собой последовательность описания функций и выражений. Выражение вычисляется сведением сложного к простому. Все выражения записываются в виде списков. Первым языком стал язык Лисп (LISP, LIST Processing- обработка списков) создан в 1959г. Этот язык позволяет обрабатывать большие объемы текстовой информации. Логическое программирование- это программирование в терминах логики. В 1973 году был создан язык искусственного интеллекта Пролог (PROLOG) (ProgramminginLogic). Программа на языке Пролог строится из последовательности фактов и правил, затем формулируется утверждение, которое Пролог пытается доказать с помощью правил. Язык сам ищет решение с помощью методов поиска и сопоставления, которые в нем заложены. Логические программы не отличаются высоким быстродействием, так как процесс их выполнения сводится к построению прямых и обратных цепочек рассуждений разнообразными методами поиска.

Функциональное программирование.Программа состоит из совокупности функций, которые вызывают друг друга. Переменные могут отсутствовать вообще. Алгоритмы, записанные в функциональном виде как правило короче и содержат меньше ошибок чем аналогичные объектно-ориентированные или процедурные. Функциональное программирование считается программированием сверхвысокого уровня. Языки этой группы обладают относительно низким быстродействием изза сложности реализации.

Логическое программирование.Основывается на формальной логике и Булевой алгебре (в некоторых языках применяются средства нечёткой логики, что позволяет создавать системы искусственного интеллекта). Программа, записанная на логическом языке программирования, не содержит в себе конкретных алгоритмов (действий и команд типа сделать то, затем это). Задаётся описание условий задачи и логических отношений, по которым система программирования сама рассчитывает возможные следствия и взаимосвязи введённых данных и формул.