Машинно-независимые языки
Машинно-независимые языки – это средство описания алгоритмов решения задач и
информации, подлежащей обработке. Ониудобны в использовании для широкого круга
пользователей и не требуют от них знания особенностей организации
функционирования ЭВМ и ВС.
Подобные языки получили название высокоуровневых языков программирования.
Программы, составляемые на таких языках, представляют собой последовательности
операторов, структурированные согласно правилам рассматривания языка (задачи,
сегменты, блоки и т.д.). Операторы языка описывают действия, которые должна
выполнять система после трансляции программы на МЯ.
Т.о., командные последовательности (процедуры, подпрограммы), часто используемые
в машинныхпрограммах, представлены в высокоуровневых языках отдельными
операторами. Программист получил возможность не расписывать в деталях
вычислительный процессна уровне машинных команд, а сосредоточиться на основных
особенностях алгоритма.
Машинно — ориентированные языки — это языки, наборы операторов и изобразительные средства которых существенно зависят от особенностей ЭВМ (внутреннего языка, структуры памяти и т.д.). Машинно -ориентированные языки позволяют использовать все возможности и особенности Машинно — зависимых языков:
высокое качество создаваемых программ (компактность и скорость выполнения);
возможность использования конкретных аппаратных ресурсов;
предсказуемость объектного кода и заказов памяти;
для составления эффективных программ необходимо знать систему команд и особенности функционирования данной ЭВМ;
трудоемкость процесса составления программ ( особенно на машинных языках и ЯСК), плохо защищенного от появления ошибок;
низкая скорость программирования;
невозможность непосредственного использования программ, составленных на этих языках, на ЭВМ других типов.
Машинно-ориентированные языки по степени автоматического программирования подразделяются на классы.
Процедурный язык программирования предоставляетвозможность программисту определять каждый шаг в процессе решения задачи. Особенность таких языковпрограммирования состоит в том, что задачи разбиваются на шаги и решаются шаг за шагом. Используяпроцедурный язык, программист определяет языковые конструкции для выполнения последовательностиалгоритмических шагов.
Программа на процедурном языке программирования состоит из последовательности операторов(инструкций), задающих процедуру решения задачи.Выполнение программы сводится к последовательномувыполнению операторов с целью преобразования исходного состояния памяти, то есть значений исходныхданных, в заключительное, то есть в результаты.
Процедурные языки программирования
Ада (язык общего назначения)
Бейсик (версии начиная с Quick Basic до появления Visual Basic)
Си
КОБОЛ
Фортран
Модула-2
Паскаль
ПЛ/1
Рапира
Декларативные языки
Декларативный язык программирования — язык программирования высокого уровня, построенный:
— на описании данных;
и
— на описании искомого результата.
К ним относятся функциональные и логические языки программирования. Функциональное программирование- это способ составления программ, в которых единственным действием является вызов функции. В функциональном программировании не используется память, как место для хранения данных, а, следовательно, не используются промежуточные переменные, операторы присваивания и циклы. Ключевым понятием в функциональных языках является выражение. Программа, написанная на функциональном языке, представляет собой последовательность описания функций и выражений. Выражение вычисляется сведением сложного к простому. Все выражения записываются в виде списков. Первым языком стал язык Лисп (LISP, LIST Processing- обработка списков) создан в 1959г. Этот язык позволяет обрабатывать большие объемы текстовой информации. Логическое программирование- это программирование в терминах логики. В 1973 году был создан язык искусственного интеллекта Пролог (PROLOG) (ProgramminginLogic). Программа на языке Пролог строится из последовательности фактов и правил, затем формулируется утверждение, которое Пролог пытается доказать с помощью правил. Язык сам ищет решение с помощью методов поиска и сопоставления, которые в нем заложены. Логические программы не отличаются высоким быстродействием, так как процесс их выполнения сводится к построению прямых и обратных цепочек рассуждений разнообразными методами поиска.
Функциональное программирование.Программа состоит из совокупности функций, которые вызывают друг друга. Переменные могут отсутствовать вообще. Алгоритмы, записанные в функциональном виде как правило короче и содержат меньше ошибок чем аналогичные объектно-ориентированные или процедурные. Функциональное программирование считается программированием сверхвысокого уровня. Языки этой группы обладают относительно низким быстродействием изза сложности реализации.
Логическое программирование.Основывается на формальной логике и Булевой алгебре (в некоторых языках применяются средства нечёткой логики, что позволяет создавать системы искусственного интеллекта). Программа, записанная на логическом языке программирования, не содержит в себе конкретных алгоритмов (действий и команд типа сделать то, затем это). Задаётся описание условий задачи и логических отношений, по которым система программирования сама рассчитывает возможные следствия и взаимосвязи введённых данных и формул.
