Информационный сайт

 

Реклама
bulletinsite.net -> Книги на сайте -> Программисту -> Непейвода Н.Н. -> "Основания программирования " -> 267

Основания программирования - Непейвода Н.Н.

Непейвода Н.Н., Скопин И.Н. Основания программирования — Институт компьютерных исследований , 2002. — 919 c.
Скачать (прямая ссылка): osnovanprogramm2002.pdf
Предыдущая << 1 .. 261 262 263 264 265 266 < 267 > 268 269 270 271 272 273 .. 316 >> Следующая

\hbox(6.8831+2.152 77)x18.6108 .\tenrm T .\kern -1.66702
.\hbox(6.83331+0.0)x6.80567, shifted 2.15277 ..\tenrm E .\kern -1.25 .\tenrm X
19 Сентенциальность облегчает возможность делать активными структурные единицы перерабатываемых данных, и именно это качество используется во всех языках, которые нагружают разметку смыслом, в частности, выполнением определенных действий. В этом плане уместно сравнить сентенциальный и функциональный стили, общность которых в том, что в обоих случаях данные и действия естественно описывать сходными (и даже изоморфными) структурами. В LISP на базе этого изоморфизма введен функционал (EVAL Expression), позволяющий проинтерпретировать как программу значение, получившееся в результате вычисления Expression. Но попытки прямой активизации данных чужеродны функциональным языкам.
13.3.
767
Эта линейная последовательность команд интерпретируется в команды системы вывода (в нынешние времена обычно в язык Postscript).
То, что здесь речь идет именно о текстах, с концептуальной точки зрения не принципиально (хотя данные других типов, разумеется, потребу т других средств). Главное — факт активизации структурных единиц перерабатываемого материала.
Структура обрабатываемого текста может быть в первом приближении задана следуим индуктивнм определением.
a) Последовательность символов является обрабатываемым текстом.
b) Обрабатываемый текст, заключенный в пару соответствующих друг другу скобок, является обрабатываемым текстом. Такая единица назвается группой.
c) Атом, после которого в случае, если определение этого атома требует параметров, идут соответствующие параметры, называется командой. Добавление команды к обрабатываемому тексту дает обрабатываемый текст.
Внутри разных групп один и тот е текст мо ет пониматься по-разному. а-же конкретный синтаксис атомов может быть переопределен!
Таким образом, структура текста носит подчеркнуто иерархический характер. ерархия перекреивается с другими структурами. реде всего, это структура результируего текста.
В стандартном конкретном синтаксисе группировку зада т, в частности, символы {}. Имеется потенциально бесконечное число других пар скобок, например, пара команд \begingroup и \endgroup, выполняющих ту же функ-ци , что и фигурные скобки. Ванейими и наиболее часто используемми скобочными структурами явля тся окру ения. кру ения вделя тся парой команд, имеих в конкретном синтаксисе чае всего форму, подобну следующей:
\begin{example} и \end{example}.
екоторе окру ения заданы в самом язке, а другие (как, например, приведенное только что) описыва тся программистом.
алее, искл чительно ваными единицами структурирования явля тся боксы, которым могут быть приписаны глобальные свойства, а внутри них все форматирование и обработка осуществляется независимо от окружения. Эта структура опускается вниз до результируей последовательности команд (где уровни вло енности боксов отмечен точками в начале строк).
768
13.
апример, текст вставка поро ден при помои
команды
\такеЬох[15ет][с]{вставка},
которая превратила внутренний текст в нераздельное целое, объявила для внешнего использования его длиной 15em (ширину 15 букв m текущего шрифта) и поместила результат обработки текста в центр получивегося промежутка. Текст, помещенный внутрь бокса, уже не может быть, например, разбит переносами, он целиком размеается на одной строчке. С точки зрения окру аего контекста бокс выглядит как один больой символ.
И, наконец, самый верхний этаж структуры текста — его рубрикация, система заголовков. апример, даннй параграф описан при помои команд \subsection{\TeX{} и \LaTeX}.
Хотя формально заголовки не входят в иерархическую структуру групп, все групп , начате после заголовка, долн быть заверен до следуего заголовка.
С локальной точки зрения текст делится на:
a) символы, которые в свою очередь подразделяются, в частности, на:20
i. буквы,
ii. пробелы,
iii. переводы строки,
iv. другие символы;
b) атомы (типичный пример атома — последовательность \TeX, производящая лого);
c) активные символы (неявно вызывающие команды; в частности, в пакете Babel, поддерживающем разные языки, все русские буквы объявлены активными символами; спасибо русским программистам!);
d) символы группировки: начало группы { и конец группы };
e) символ комментария % (после него вся оставшаяся часть строки игнорируется;
20 екоторе неприниципиальне класс символов опуен .
13.3.
769
f) другие символы переключения режимов (например, символ Л включает режим верхнего индекса, символ \ переключает лексический анализатор в режим создания атома).
з сказанного вые видно, что обработка текста процессором язка разметки TgX включает в себя прежде всего глубокое преобразование текста на самом языке TgX, постепенно низводя его на самый низший уровень команд. П оэтому язык TgX снабжен модной системой обобщенных вычислений, которая практически не видна его обычным пользователям, поскольку они ограничива тся системами определений и метаопределений, образу -щих пакеты и форматы языка TgX.
Предыдущая << 1 .. 261 262 263 264 265 266 < 267 > 268 269 270 271 272 273 .. 316 >> Следующая
Реклама
Авторские права © 2009 AdsNet. Все права защищены.
Rambler's Top100