45028

Понятие языка программирования. Классификация языков программирования

Доклад

Информатика, кибернетика и программирование

Классификация языков программирования. И такое средство было найдено: различные символические языки и соответствующие им трансляторы системы программирования. Также система программирования может включать в себя: библиотеки стандартных подпрограмм отладчик компоновщик и другие сервисные средства.

Русский

2013-11-15

29.44 KB

54 чел.

Понятие языка программирования. Классификация языков программирования.

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

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

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

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

Также система программирования может включать в себя: библиотеки стандартных подпрограмм, отладчик, компоновщик и другие сервисные средства.

Алфавит и синтаксис языков программирования определяется исходя из стремления приблизить их к языку человека, но вместе с тем обеспечить возможность перевода записи алгоритма с языка программирования на машинный язык. В отличие от языка человека языкам программирования свойственна строгость синтаксических и семантических правил.

В мире насчитывается несколько сотен символических языков программирования различных структур и возможностей, которые могут быть классифицированы по различным признакам.

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

Ведущими разработчиками систем программирования в настоящее время являются фирмы Microsoft и Borland International.

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

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

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

Конструкция команд (операторов) отражает содержательные виды обработки данных, и задаются в удобном для человека виде;

Используется аппарат переменных и действия над ними;

Поддерживается широкий набор типов данных

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

Рассмотрим некоторые языки программирования в порядке увеличения их уровня.    Двоичный язык - в настоящее время программистами не применяется
Шестнадцатеричный язык-упрощение за счет представления четырех двоичных цифр одной шестнадцатеричной. Используется в качестве дополнения к языкам высокого уровня для программирования критичных к времени выполнения фрагментов алгоритмов.
Язык Ассемблера - предназначен для представления в удобочитаемой символической форме программ, написанных на машинном языке.
Язык Макроассемблера - расширение языка Ассемблера. Позволяет определять и использовать новые, более мощные команды.

Язык программирования C - разработан в начале 70-х. Сочетает достоинства современных высокоуровневых языков (в части структур данных и управляющих структур) и возможность доступа к аппаратным средствам машины на уровне языка Ассемблера. Однако синтаксис языка таков, что затрудняет программирование и понимание составленных программ.

Язык Basic (Beginners All-purpose Symbolic Instruction Code-многоцелевой язык символических инструкций для начинающих). Разработан в 1964 г. для использования новичками. Первоначально работа велась только в режиме интерактивной (диалоговой) интерпретации. В смысле строгости и стройности является антиподом языка Pascal. Несмотря на это, Basic очень популярен, в особенности на ПК. Существует множество его диалектов, несовместимых между собой. Современные диалекты Basic’а весьма развиты и мало чем напоминают  своего предка.
Язык Fortran (Formula Translator) разработан в 1956 г. Считается “рабочей лошадью” научных работников за счет своей “приспособленности” к ведению сложных вычислений и широко используется до настоящего времени, несмотря на свою ограниченность и ”корявость”.
Язык Pascal разработан в 1970 г. Норбертом Винером, назван в честь французского математика Блеза Паскаля. В Паскале полностью реализована концепция структурного программирования не только путем упорядочения связей между фрагментами программы, но и за счет структуризации данных. Один из наиболее популярных языков программирования.
 Язык  Modula-2 создан в 1979 г. также Норбертом Винером. По существу - развитие Паскаля. Его особенности состоят в высокой модульности программ и наличии средств описания параллельных процессов.

Язык Ada разработан в 1979 г. по заказу Министерства обороны США для использования во встроенных системах с управляющими ЭВМ, что требует режима поддержки режима реального времени. Назван в честь Августы Ады Лавлейс (дочери Байрона), которая была ассистентом Чарльза Бэббиджа и по праву считается первым в мире программистом. Рассматривается как универсальный язык программирования. Данный язык вводит строгую дисциплину программирования, что препятствует написанию “плохих программ”. Несмотря на достоинства, программистов отталкивает его громоздкость

Язык Logo разработан с целью обучения детей и используется в настоящее время. Отличается простотой, но весьма богатыми возможностями, среди которых процедуры, графические средства и т. д. Существует ряд языков, некогда популярных, но утративших свои позиции в настоящее время:  PL/1-конгломерат языков Fortran, Algol, Cobol –предназначен для больших ЭВМ и на ПК практически не используется. Язык достаточно сложен и имеет такие свойства, которые не стимулируют написание корректных, надежных и наглядных программ; Cobol - ориентирован на обработку коммерческой информации;Snobol - предназначен для обработки текстовых данных.

Языки семейства Algol - не представлены на ПК по не вполне ясным причинам, т. к. обладает богатым набором средств, высокой строгостью и стройностью, но и большой сложностью. Реализация языка надолго затянулась, и он пережил самого себя.

Функциональные языки программирования. Программа на таком языке представляет  собой совокупность описаний функций и выражения, которые необходимо вычислить. Оно вычисляется посредством редукции (т. е. серии упрощений). Функциональное программирование не использует концепцию памяти как хранилища значений переменных. Операторы присваивания отсутствуют, вследствие чего переменные обозначают не области памяти, а объекта программы, что полностью соответствует понятию переменной в математике. Наличие стройной математической основы обеспечивает возможность использования алгебраических методов создания структуры, преобразования и исследования программ. Это в какой-то мере приближает их к описанию структуры мышления человека.
Примером функционального языка является язык 
LISP (ListProcessing - обработка списков) Разработан и реализован в Массачусетском технологическом институте в 1959 г. Рассматривается специалистами как основной язык программирования систем искусственного интеллекта.

Логическое программирование Логика и программирование долгое время были непересекающимися областями исследований. Только в 1973 впервые было опубликовано описание языка  PROLOG (PROgramming in LOGic- программирование в терминах логики) Центральным понятием в логическом программировании является отношениеПрограмма представляет собой совокупность определений отношений между объектами и цели. В логическом программировании нужно только специфицировать факты, на которых алгоритм основывается, а не определять последовательность шагов, которые требуется выполнить. Логические программы отличаются принципиально низким быстродействием. Так как вычисления осуществляются методом проб и ошибок (посредством поиска с возвратами). В настоящее время для ПК существует около двух десятков реализации PROLOG’а, некоторые из которых оформлены в виде интегрированных сред.

Объектно-ориентированное программирование. Корни объектного ориентирования уходят в одну из ветвей логики, в которой первичной является не отношение, а объект. Прототипом объектно-ориентированного программирования явился язык SIMULA-67. Но оформилось оно в самостоятельный стиль программ ирония с появлением языка (SMALLTALK-1972 г.), первоначально предназначенного для реализаций функций машинной графики. Этот стиль программирования характеризуется богатыми графическими возможностями и средой программирования, развитой модульной структурой программ. Именно модульность упрощает разработку сложных программных продуктов. Как пример объектно-ориентированного языка можно назвать VisualBasic  и Delfi.

Характеристики языков программирования. Элементы объектной модели.

Каждый стиль программирования имеет свою концептуальную базу. Каждый стиль требует своего умонастроения и способа восприятия решаемой задачи. Для объектно-ориентированного стиля концептуальная база — это объектная модель. Она имеет четыре главных элемента:  абстрагирование (Абстракция выделяет существенные характеристики некоторого объекта, отличающие его от всех других видов объектов и, таким образом, четко определяет его концептуальные границы с точки зрения наблюдателя); инкапсуляция (определяет четкие границы между различными абстракциями); модульность (это разделение программы на фрагменты, которые компилируются по отдельности, но могут устанавливать связи с другими модулями); иерархия (упорядочение абстракций, расположение их по уровням).

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


 

А также другие работы, которые могут Вас заинтересовать

4711. Вивчення методів роботи з файлами на локальних дисках та з інтернету. Використання Юнікоду при обробці текстів 178.5 KB
  Мета роботи: Вивчення основ програмування на мові Python. Вивчення методів роботи з файлами на локальних дисках та з Інтернету. Використання Юнікоду при обробці текстів. Нормалізація текстів, стемінг, лематизація та сегментац...
4712. Вивчення основ структурного програмування мовою Python 72 KB
  Мета робота Вивчення основ програмування на мові Python. Вивчення основ структурного програмування мовою Python. Повторення та закріплення знань отриманих при виконанні попередніх лабораторних робіт. Покращення загальних нав...
4713. Разработка и сопровождение многофункционального персонального сайта преподавателя 109.5 KB
  Введение Работа в сети Internet дает неограниченные возможности в получении необходимой информации, например, для учебного процесса. Разработанный персональный сайт преподавателя дает возможность получить студенту такую информацию в виде...
4714. Основи структурного програмування мовою Python 127.5 KB
  Мета робота Вивчити основи структурного програмування мовою Python, повторити та закріпити матеріал, пройдений у попередніх лабораторних роботах, покращити загальні навички програмування. Короткі теоретичні відомості Присвоювання...
4715. Базові поняття програмування на мові Python 168.5 KB
  Спершу доведеться розібратися з певними базовими поняттями. Не варто їх заучувати – достатньо їх зрозуміти хоча би на інтуїтивному рівні. Згодом, під час практичної роботи, все встане на свої місця. Алгоритми і програми П...
4716. Ознайомлення з основними типами даних в Python 310.5 KB
  Мета роботи Ознайомлення з основними типами даних в Python. Вивчення основ програмування на мові Python. Короткі теоретичні відомості Python - це проста і потужна об’єктно-орієнтована мова програмування високого рівня з чудовими мож...
4717. Обробка послідовностей при програмуванні на мові Python 184.5 KB
  Мета робота Вивчення основ програмування на мові Python. Короткі теоретичні відомості Обробка послідовностей Оператор for Оператор for в Python трохи відрізняється від аналогічного оператора в C або Pascal. Замість незмінного проходження по ...
4718. Вивчення методів доступу до корпусів текстів на мові Python 1004 KB
  Вивчення основ програмування на мові Python. Вивчення методів доступу до корпусів текстів. Вивчення класу ConditionalFreqDist. Виконання лабораторних робіт починаємо з: import nltk from nltk.book import Короткі теорет...
4719. Вивчення методів доступу та роботи з лексичним ресурсами на мові Python 646.5 KB
  Вивчення основ програмування на мові Python. Вивчення методів доступу та роботи з лексичним ресурсами. Семантичний словник англійської мови WordNet. Короткі теоретичні відомості Поняття функції та модуля. При програм...