Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Стили и методы программирования. Учебное пособие для СПО
.pdf
нетерминальными. Понятия бывают смысловые, т. е. языковые
конструкции, для которых определено то или иное действие
абстрактного вычислителя, и вспомогательные, нужные лишь для
построения текста, но самостоятельного смысла не имеющие.
Минимальные смысловые понятия соответствуют лексемам. Некоторые
понятия вводятся лишь для того, чтобы сделать текст читаемым для
человека. Минимальные из них (они подобны знакам пунктуации)
естественно считать вспомогательными лексемами.
Но даже задача полного описания синтаксиса достаточно сложна и
требует выделения подзадач.
Синтаксис принято разделять на две части:
контекстно-свободную грамматику ( КС-грамматику ) языка;
правила задания контекстных зависимостей (например,
соответствия между описаниями и именами).
Понятие контекстно-свободной грамматики стало первым строгим
понятием в описаниях практических алгоритмических языков. За
понятием КС-грамматики при внешней его простоте стоит достаточно
серьезная теория. Эта грамматика представляется во многих формах
(синтаксические диаграммы, металингвистические формулы БэкусаНаура либо расширенные металингвистические формулы) и, как
правило, сопровождает систематизированное изложение конкретного
языка. Каждое такое конкретное представление КС-грамматики
достаточно просто, и может быть изучено по любому учебнику
программирования.
Содержательно можно охарактеризовать КС-грамматику языка как ту
часть его синтаксиса, которая игнорирует вопросы, связанные с
зависимостью интерпретации лексем от описаний имен в программе.
Контекстные зависимости сужают множество правильных программ.
Например, правило "все идентификаторы должны иметь описания в
программе" указывает на то, что программа с неописанными именами
не принадлежит данному языку (хотя она и допустима с точки зрения
контекстно-свободного синтаксиса ).
Стили и методы программированияНепейвода Н.Н.
51
Неоднократные попытки формально описывать контекстные
зависимости при определении языков показали, что эта задача гораздо
более сложная, чем задание контекстно-свободного синтаксиса.
Вдобавок ко всему, даже такие естественные правила, как только что
представленное, при формальном описании становятся громоздкими и
весьма трудными для понимания человека. По этой причине в
руководствах редко прибегают к формализации описаний контекстных
зависимостей (одним из немногих исключений является Алгол 68).
Пример 4.2.1. Требование о том, что каждое имя должно быть описано
(в частности, в языках Pascal и C), конкретизируется в следующей
форме.
Для каждого имени должно быть описание, в котором оно
встречается.
Это описание должно стоять либо в данном, либо в
охватывающем его блоке и предшествовать в тексте программы
использованию данного имени.
Два описания одного и того же имени в одном и том же блоке не
считаются ошибкой лишь в том случае, если первое из них
является предварительным упоминанием, а второе —
полноценным описанием.
Если есть несколько описаний одного и того же имени в разных
блоках, действующим считается то из них, которое стоит в самом
внутреннем блоке.
Если действующее описание определяет имя как глобальное, то
оно не должно противоречить никакому другому глобальному
описанию того же имени, встречающемуся в других блоках
программы.
Такая совокупность требований достаточна для того, чтобы человек мог
проверить по тексту программы, как в данном месте понимается данное
имя
3)
.
В практических описаниях языков и в курсах программирования обычно
довольствуются неформальным, но достаточно точным описанием
контекстных зависимостей. Приведем пример такого описания.
Стили и методы программированияНепейвода Н.Н.
52
Семантика
Мы определили семантику как соответствие между синтаксически
правильными программами и действиями абстрактного исполнителя.
Но остается вопрос, как задавать это соответствие. Семантика чаще
всего определяется индукцией (рекурсией) по синтаксическим
определениям.
Цель программиста - получить нужный ему эффект в результате
исполнения программы на конкретном оборудовании. Но, составляя
программу, он думает о программе как об абстрактной сущности и чаще
всего совсем не хочет знать о регистрах, процессоре и других объектах
конкретного оборудования. В соответствии с позицией программиста
моделью вычислений языка программирования естественно считать то,
какой абстрактный вычислитель задается описанием языка. Эта
позиция подкрепляется также тем, что трансляция и исполнение может
осуществляться на разных конкретных вычислителях. Следуя этой точке
зрения, мы, говоря о модели программы, всегда имеем в виду ее образ в
виде команд абстрактного, а не конкретного вычислителя.
Понятие модели вычислений языка естественно распространяется на
случаи, когда используются библиотеки программ. Библиотеки,
стандартизованные описанием языка, можно считать частью
реализации языка независимо от того, как реализуются библиотечные
средства: на самом языке или нет. Иными словами, библиотечные
средства - дополнительные команды абстрактного вычислителя языка.
Не зависящие от определения языка библиотеки можно рассматривать
как расширения языка, т. е. как появление новых языков, включающих в
себя исходный язык. И хотя таких расширений может быть много,
рассмотрение модели вычислений для языка вместе с его библиотеками
хорошо соответствует стилю мышления человека, конструирующего
программу
4)
.
Задаваемое семантикой соответствие между входными данными,
программой и действиями, вообще говоря, определяется лишь полным
текстом программы, включающим, в частности, все тексты
используемых библиотечных модулей, но для понимания программы и
работы над ней необходимо, чтобы синтаксически законченные
фрагменты программы могли интерпретироваться автономно от
Стили и методы программированияНепейвода Н.Н.
53
окружающего их текста. Надо заметить, что современные системы
практически никогда этому требованию не удовлетворяют. Слишком
часто для понимания ошибки в программе нужно анализировать
необъятные тексты библиотек.
Реализованный язык всегда является прагматическим компромиссом
между абстрактной моделью вычислений и возможностями ее
воплощения.
Прагматика
До сих пор речь шла об определении языка его абстрактным
вычислителем. Прагматика задает конкретизацию абстрактного
вычислителя для данной вычислительной системы. Большая часть
прагматики размазана по тексту документации о реализации языка (эту
часть прагматики программист варьировать не может). Например,
прагматическим является замечание, что тип Longint в системе Visual
C++ определяется как 32-разрядное двоичное число с фиксированной
точкой, занимающее слово памяти.
Та часть прагматики, которую может варьировать программист, требует
отдельного синтаксического оформления. В языке Pascal есть так
называемые прагматические комментарии, например, {$I+}, {$I-}
(включение/выключение контроля ввода-вывода). Многие из таких
комментариев практически во всех версиях одни и те же. В самом
стандарте языка явно предписана лишь их внешняя форма: {$...}.
Даже если язык ориентирован на реализацию в единственной
операционной обстановке (например, это какой-нибудь язык скриптов
для микропроцессора, встроенного в собачий ошейник), для понимания
сути того, что относится к действиям, а что — к их оптимизации,
прагматику нужно выделить хотя бы в документации для
программистов.
Принципиально различаются два вида прагматики языка
программирования: синтаксическая и семантическая.
Синтаксическая прагматика — это правила сокращения записи, можно
сказать, скоропись для данного языка. Пример, который можно
Стили и методы программированияНепейвода Н.Н.
54
рассматривать как синтаксическую прагматику — команды увеличения
и уменьшения на единицу. В С/С++ они представлены операторами
<переменная>++; или ++<переменная>;
и
<переменная>--; или --<переменная>;
В С/С++ команды такого рода следует относить к модели вычислений
языка, так как для нее постулируется, что язык является машинноориентированным и отражает особенности архитектуры
вычислительного оборудования, а команды увеличения и уменьшения
на единицу предоставляются программисту на уровне оборудования
достаточно часто.
В Turbo Pascal и Object Pascal эти команды выражены следующим
образом:
Inc (<переменная>)
и
Dec (<переменная>)
соответственно. Если рассматривать Turbo Pascal как правильное
расширение стандартного языка Pascal, не содержащего обсуждаемые
команды, то эти команды — просто подсказка транслятору, как надо
программировать данное вычисление. Следовательно, указанные
операторы для данного языка можно относить к прагматике
5)
.
Другой пример — возможность записи в языке Prolog вместо вызова +
(X,Y) выражения X+Y.
Семантическая прагматика — это определение того, что в описании
языка оставлено на усмотрение реализации или предписывается в
качестве вариантов вычислений.
Например, стандарт языка Pascal утверждает, что при использовании
переменной с индексом на уровне вычислений контролируется выход
Стили и методы программированияНепейвода Н.Н.
55
индекса за диапазон допустимых значений. Однако в объектном коде
постоянные проверки этого свойства могут показаться накладными и
избыточными (например, когда программа написана настолько хорошо,
что можно гарантировать соответствующие значения индексов).
Стандарт языка для таких случаев предусматривает сокращенный, т. е.
без проверок, режим вычислений. Выбор режимов управляется
пользователем с помощью прагматических указаний для транслятора,
выражаемых в конкретном синтаксисе как прагматические комментарии
{$R+} и {$R-}
6)
.
Разработчики системы программирования должны прилагать
специальные усилия, чтобы обеспечить явное выделение
прагматического уровня. Без этого может сложиться превратное
представление как о предлагаемой модели вычислений, так и о ее
реализации. Вдобавок, резко ограничиваются возможности
программиста в применении методов абстрагирования.
Проиллюстрируем это.
Пример 4.4.1. Стандарт языка С предписывает, что системы
программирования на нем должны предусматривать специальный
инструмент для обработки программных текстов, который называется
препроцессором. Препроцессор делает массу полезных
преобразований. Как уже упоминалось, он берет на себя решение задачи
подключения к программе внешних (библиотечных) файлов, с его
помощью можно скрывать утомительные детали программирования,
достигать ряда нужных эффектов, не предусмотренных в основных
средствах языка (например, именованные константы). Постулируется,
что программа на языке С есть то, что получается после работы
препроцессора с текстом (разумеется, если результат такой работы
окажется корректным). Следовательно, использование препроцессора
— синтаксическая прагматика языка. Но это противоречит практике
работы программиста: он просто не в состоянии написать
содержательную программу, которая может быть оттранслирована без
использования препроцессора. Работа препроцессора не очень
затрудняет понимание получившейся программы, если при
программировании на С ограничиваются употреблением
препроцессорных команд подключения файлов определений и
определения констант. Но когда применяются, к примеру, условные
препроцессорные конструкции, возможно появление программ-химер,
Стили и методы программированияНепейвода Н.Н.
56
зрительно воспринимаемый текст которых дезинформирует
относительно их реальной структуры.
Пусть написано
if (x > 0) Firstmacro else PerformAction;
Кажется, что действие выполняется, если x 0, но первый макрос
раскрывается как
PrepareAction; if (x <= 0) CancelAction
Даже автор данной программы через некоторое время не поймет,
почему же она так себя ведет.
Как это ни странно, подобные построения используются в практике
программирования на С: они применяются, чтобы в одном тексте задать
несколько вариантов выполняемых программ, которые
разграничиваются при работе препроцессора, т. е. до выполнения.
Наложение команд препроцессора на текст программы — это смешение
двух моделей вычислений: одна из них — модель базового языка С,
другая — модель препроцессора
7)
. В результате программист при
составлении и изучении программ вынужден думать на двух уровнях
сразу, а это трудно и провоцирует ошибки.
Разработчики С и С++ с самого начала не задумывались о соблюдении
концептуальной целостности. Это приводило к тому, что при развитии
языка он становился все более эклектичным.
Во многих языках, в частности в Object Pascal, для подобных целей
используется более концептуально подходящее средство, так называемая
условная компиляция. Суть его в том, что программисту дана
возможность указать, что некоторый фрагмент компилируется, если при
компиляции задан соответствующий параметр, и не компилируется в
противном случае. При этом оказывается исключенной ситуация,
приведенная в предыдущем примере, поскольку чаще всего способ
задания фрагмента привязан к синтаксическим конструкциям языка (т. е.
условную компиляцию можно задавать не для произвольных
фрагментов, а лишь для тех, которые являются языковыми
Стили и методы программированияНепейвода Н.Н.
57
конструкциями). При условной компиляции проверяется корректность
синтаксиса и, что не менее существенно, зримый образ программы явно
отражает ее вариантность (именно это свойство нарушено в примере
4.4.1).
Даже концептуально целостные системы в результате развития часто
сползают к эклектичности. В этой связи поучительно обсудить развитие
языка Pascal линии Turbo.
Модель вычислений стандартного языка Pascal изначально была
довольно целостна, поскольку в ней четко проводились несколько
хорошо согласованных базовых идей и не было ничего лишнего. Но она
не во всем удовлетворяла практических программистов. В языке Pascal,
в частности, не было модульности, и требовалась значительно более
глубокая проработка прагматики, что стало стимулом для развития
языка, на которое повлияла конкретная реализация: последовательность
версий Turbo Pascal. Разработчики данной линии смогли сохранить
стиль исходного языка вплоть до версии 7, несмотря на значительные
расширения. В этом им помогло появление нового языка Modula,
построенного как развитие языка Pascal в направлении модульности.
Идея модульности и многие конкретные черты ее реализации,
созданные в Modula, были добавлены к языку Pascal.
Далее пришел черед модных средств ООП, которые также были
интегрированы в язык с минимальным ущербом для его
концептуальной целостности.
Таким образом, создатели линии Turbo Pascal успешно решили трудную
задачу расширения языка при сохранении концептуального единства и
отделения прагматики от развивающейся модели вычислений.
Однако со столь трудной проблемой не удалось справиться тем же
разработчикам, когда они взялись за конструирование принципиально
новой системы программирования Delphi и ее языка Object Pascal.
Одним из многих отрицательных следствий явилась принципиальная
неотделимость языка от системы программирования. А далее история
Delphi с точностью до деталей повторяет то, что было с языком С/С++. В
последовавших версиях системы, вынужденных поддерживать
преемственность, все более переплетаются модель вычислений и
прагматика. Заметим, что "прагматизм" не принес никакого
Стили и методы программированияНепейвода Н.Н.
58
прагматического выигрыша: все равно Delphi плохо поддерживает
современные системы middleware, ориентированные на C++ и Java.
Внимание!
Есть большая опасность, связанная с добавлением новых возможностей
к хорошей системе без глубокой концептуальной проработки. Сплошь и
рядом то, что хорошо работало раньше, после таких модификаций
перестает устойчиво работать.
Абстрактный и конкретный синтаксис
При рассмотрении приемов программирования и примеров на разных
языках необходимо как можно больше отвлекаться от частных
особенностей и учиться видеть за ними общее с тем, чтобы оставшиеся
различия были бы уже принципиальными. Отделить существенное от
несущественного помогает, в частности, соотношение между
синтаксисом и семантикой. Например, оказывается, что некоторые
синтаксические особенности КС-грамматики языка не нужны для
описания его семантики.
Обычное синтаксическое определение языка задает конкретные
синтаксические правила построения программы как строки символов.
При этом определяется, какие структурные элементы могут быть
выделены в тексте программы (конкретное представление программы).
Действия абстрактного вычислителя определяются на структурном
представлении программы и не зависят от многих особенностей
конкретного синтаксиса. Например, для присваивания важно лишь то,
что в нем есть получатель и источник, сам по себе знак присваивания (
=, := или, скажем, LET ) совершенно не важен. Более того, неважно, в
каком порядке расположены составные части присваивания в тексте
программы. Например, конструкция языка COBOL
MOVE X+Y TO Z
выражающая присваивание получателю Z значения выражения X+Y,
совершенно аналогична обычному оператору присваивания.
Стили и методы программированияНепейвода Н.Н.
59
Для того, чтобы четко отличать конкретное представление от
существенной структуры, стоит рассматривать конкретный и
абстрактный синтаксис. Скажем, абстрактный синтаксис всех
перечисленных форм операции присваивания один и тот же.
Аналогично, три оператора
X = a * b + c * d;
X = (a * b) + (c * d); (4.1)
X = ((a * b) + (c * d));
и подобные им полностью эквивалентны с точки зрения абстрактного
синтаксиса, тогда как с точки зрения текстового представления —
различны.
Таким образом, нужна структура синтаксических понятий, которая
соответствует некоторому алгоритмически разрешимому
8)
(см., напр.
[20]
) понятию эквивалентности программ. Но это понятие
эквивалентности должно быть исключительно простым, поскольку
теоретические результаты показывают, что нетривиальные понятия
эквивалентности программ неразрешимы. Выбранное понятие
эквивалентности определяет структурное представление синтаксиса,
используемого для задания абстрактного вычислителя ( абстрактносинтаксическое представление ).
Фрагментом абстрактно-синтаксического представления является чаще
всего применяемый на практике ход. Задают понятие синтаксической
эквивалентности, которое очевидным образом согласуется с
функциональной эквивалентностью. Так, например, предложения,
перечисленные в примере 4.1, могут описываться следующим понятием
синтаксической эквивалентности: скобки вокруг подвыражений,
связанных операцией более высокого приоритета, чем операция,
примененная к их результату, могут опускаться. В данном смысле
присваивание рассматривается как операция, имеющая более низкий
приоритет, чем любая из арифметических операций. Таким образом,
например, определяется эквивалентность выражений в языке Prolog.
Подвыражение X + 3, скажем, является в нем всего лишь другим
вариантом записи для +(X,3), и при вычислении характеристик
выражения оно прежде всего преобразуется в форму без знаков
Стили и методы программированияНепейвода Н.Н.
60
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]