Язык разметки математических документов.
Математический язык Markup (MathMl) является XML прикладной программой, поз воляющей описывать математические структуры и выражения. Цель MathMl состоит в том, чтобы дать возможность осуществлять специфические математические проек ты в Web-сети.
1. Введение
1.1 Математические идеи и их запись.
Отличие математики от других наук состоит в использовании комплекса
высоко развитой системы символических записей. Математические идеи и
записи, с по мощью которых они излагаются, существуют независимо друг от друга.
Действитель но, многие положения элементарной математики можно записать,
используя обычные слова. Однако умение представлять идеи в символьной форме является
основным при анализе и оперировании данными в математике.
В математике соглашения о форме записей носят комплексный характер.
Арифмети ческие выражения, например, записываются с использованием цифр,
переменных и стандартного набора знаков для обозначения арифметических операций.
Тем не менее трудности возникают при попытках облечь в письменную форму да же наиболее простые из математических выражений. Отсюда следует необходимость создания системы символьных записей, которая могла бы использоваться во всем мире.
В развитие форм математической записи существенный вклад внесла технология связи.В своем развитии она прошла путь от глиняных планшетов и папирусов до печатного способа представления информации, а математические записи велись с использованием возможностей, предоставляемых технологией связи на различных временных этапах.
В настоящее время возникла новая среда связи, представленная ЭВМ с сетевой структурой. Это открывает новые возможности для передачи и представления мате матической информации.
1.2 Цели проекта
1.2.1 Предпосылки создания MathMl
Первоначально WWW предназначалась для ученых. Но в ходе использования WWW выяснилось, что информация, передаваемая по ее каналам, представляет интерес не только для специалистов. Но возможности включения математических выражений в HTML оказались очень ограниченными. Статьи записывались в закодированной форме, основу которой составляли наборы символов ASCII.
Сегодня HTML позволяет передавать математические сообщения, однако механизмы их создания и последующей обработки настолько сложны, что попытки пользовате лей включить в сообщение даже самые простые формулы заканчиваются неудачей.
Несмотря на широкое распространение Web, недостаток поддержки научной связи ограничивает сферу ее применения.
1.2.2
Проблемы, возникающие при записи математических выражений, можно
разделить на две группы : проблемы кодирования и проблемы реализации.
Проблемы, связанные с включением в документ математических записей как иллюстрационного
материа ла, относятся к проблемам реализации.
В последнее время первостепенную важность приобретают различные способы ав томатической обработки данных.
Поэтому решение проблемы кодирования математических записей для Web важнее, чем разрешение проблемы реализации, но и ее нельзя игнорировать.
1.2.3 Цели проекта MathML
Цель проекта состоит в разработке прикладных программ, подходящих как для обу чения, так и для поддержки научной связи, с чьей помощью можно работать с матри цами, последовательностями и рядами, осуществлять редактирование математичес ких выражений. Предусматривается поддержка просмотра длинных выражений, предос тавление возможностей использования макрокоманд, новых схем исполнения, новых символов.
1.2.4 Цели реализации
Итак, цель проекта MathML - разрешение проблемы кодирования математической информации.
Цели реализации - это краткое описание функциональных возможностей
MathML.
* Печать MathML уравнений должна осуществляться на принтерах с высокой разрешающей способностью.
* При работе с математическими записями возможно использование мыши.
* Связь MathML записей с прикладными программами осуществляется через окно просмотра.
Осуществление целей реализации может обеспечить расширение области исполь зования HTML документов. Пользователи получат возможность просматривать их в интерактивном режиме, делать распечатки и пр.
Однако для наиболее полной реализации возможностей электронных документов необходимо обеспечить взаимодействие между ними и HTML математическими доку ментами.
1.3 Примеры применения математических структур на Web
Спрос на эффективные средства электронной научной связи высок.
Количество лю дей, пользующихся услугами электронной связи, постоянно растет.
1.3.1 Образование
В настоящее время идет активный процесс включения интерактивных материалов в учебную программу. Однако строгие временные и технические ограничения создают трудности при использовании интерактивных материалов на занятиях по математи ческим дисциплинам.
Например, осуществить проверку экзаменационных ответов на ПК невозможно без умения записывать математические выражения на языке, понятном машине. Следующим шагом использования новых технологий в области образования является создание интерактивных учебников.
1.3.2 Научные исследования
На сегодняшний день существует около дюжины электронных математических изда ний. В них содержится большое количество математических записей, выполненных на
TeX.
Существует версия "химического" markup языка - CML, основой которого также является XML.
1.3.3
Следующая проблема электронной связи и сопутствующих ей приложений
- несовмес тимость различных систем. Например, статьи, выполненные в Tex,
несовместимы со статьями, набранными в Word. Результатами подобной несовместимости
являются труд ности в передаче и использовании информации.
1.3.4 Публикации
До недавнего времени электронные журналы не пользовались популярностью из-за указанных выше причин, однако с развитием markup языков ситуация начинает ме няться.
1.4 Web и математический markup язык
Математические записи более, чем текст, трудны для обработки. Но, опираясь на су ществующие markup схемы и функциональные возможности HTML, MathML обеспечивает поддержку связи при работе с математическими объектами на Web.
1.4.1 Связь MathML c другими математическими markup языками
TeX является одним из наиболее влиятельных математических markup языков 2-х последних десятилетий.
TeX ,без сомнения, оказал существенное влияние на MathML. Однако есть несколько аспектов, которые не позволяют использовать TeX для работы в Web.
Тем не менее,TeX установил стандарты качества визуального исполнения, которым соответствует MathML.
Вторым markup языком, оказавшим существенное влияние на развитие
MathML, явля ется ISO 12083.
В основе ISO 12083 лежит TeX, что означает наличие у ISO 12083 недостатков
Tex, однако ISO 12083 более подходит для автоматической обработки данных.
1.4.2 XML
В дополнение к вышесказанному, MathML должен согласовываться и с существую щей HTML средой.
Одним из способов согласования является развитие XML - упрощенного варианта
SGML, разработанного для Web. XML позволяет вводить и использовать новые отмет ки. В то же время XML синтаксис тщательно определяет структуру документа, что облегчает автоматическую обработку и сопровождение больших массивов данных.
XML подходит для разметки сложных и специализированных данных. В силу вышеска занного MathML можно определить как XML прикладную программу.
1.4.3 Реализация
XML предоставляет способ определения структуры и синтаксиса.
Механизмы обра ботки и представления информации MathML требуют детальной
разработки.
Для обработки данных MathML необходимо расширить возможности окон просмотра.
1.5 Общие принципы MathML
1.5.1 Кодирование информации
Существует глубокая связь между математическими идеями и их записью.
Математическая запись, выполненная с соблюдением правил, исключает двоякое тол кование.
В некоторых случаях символическая и математическая структура записи эквива лентны. В подобных ситуациях MathML предлагает использовать отметки типа
, и .
Рассмотрим пример : < (x + 2)^2 >.Используя отметки MathML, его можно запи сать так :
( x
+
2
)
2
В дополнение к отметкам представления MathML содержит еще примерно
50 различ ных отметок. Используя эти отметки, предыдущий пример можно
закодировать так:
x
2
2
1.5.2
Для увеличения пользовательской аудитории необходимо расширение возможностей
MathML. К ним относятся и задачи по усовершенствованию механизма интерфейса.
2. Основы практического использования MathML
В этом разделе представлен краткий обзор принципов работы MathML.
2.1 Использование отметок представления MathML
Отметки представления MathML используются для описания структуры математичес кой записи. Рассмотрим пример :
< x ^ 2 + 4x + 4 = 0 >
x
2
+
4
x
+
4
=
0
Здесь стоит обратить внимание на два аспекта: во-первых, в примере присутству ют отметки типа MI,MN,MO и "вложенные" отметки типа MSUP и MROW, а во-вторых, отметки типа MROW используются для обозначения условия, в данном случае предс тавленного операндом "=".
Отметки, содержащие данные, указывают на их тип. Например, отметка
MI указывает на идентификатор или переменную, а отметка MN - на номер. Другие
отметки обоз начают схему размещения. Каждая схема размещения содержит
определенное число подвыражений в сторогом порядке. Например,MSUP схема должна
содержать в точ ности два подвыражения.
< x = (-b + - sqrt( b ^ 2 - 4ac)) / 2a >
x
=
- b
&PlusMinus b
2
-
4
a
c
2
a
В этом примере следует обратить внимание на то, что знак
"плюс/минус" - спе циальный поименованный объект. MathML предоставляет большой список
имен мате матических объектов.
A
=
[ x y z w
]
2.2 Использование MathML согласных отметок
< x ^ 2 + 4x + 4 = 0 >
x
2
4 x
4
0
Отметки EXPR используются в том случае, когда содержание носит математический характер.
В MathML имеются также и пустые отметки. В XML пустые отметки имеют вид
.
При помощи отметок содержания MathML можно описать основные математические объекты, однако часто возникают ситуации, когда используются как отметки содер жания, так и отметки представления.
< x = (- b + - sqrt(b ^ 2 - 4ac)) / 2a >
x
- b
&PlusMinus b
2
4 a c
2 a
Рассмотрим пример использования отметки SEMANTICS :
< Интеграл >
&int
0 t
&dd x x
0 t
1 x x
3. Отметки представления
3.1 Введение
3.1.1 Элементы представления
Элементы представления соответствуют конструкциям традиционной математичес кой записи и позволяют описывать синтаксическую структуру математического вы ражения. Например, структура This улучшает качество математической записи и в тех случаях, когда не известена, например, разрешающая способность монитора.
3.1.2 Типы элементов представления
Элементы представления можно разделить на два класса : лексемы и схемы раз мещения. Существует также набор пустых элементов, используемых вместе с конкрет ной схемой размещения.
Все лексемы (в синтаксическом смысле),включенные в математическое выражение, должны быть помечены MathML отметками лексем. Типы MathML лексем : идентифика торы (переменные, имена функций и т.д.),числа, операторы, заграждающие метки (на пример, круглые скобки) и строковые литералы. Для представления текста нематема тического характера используются элементы лексем.
Схемы размещения - конструкторы выражений традиционных математических запи сей.
3.1.3 XML атрибуты
Согласно проекту XML атрибуты должны иметь вид : attr = "..."
.Атрибуты,чье значение определено как числовое, могут быть целыми числами или
числами с пла вающей запятой. Существуют атрибуты со значениями , связанными с
определенным шрифтом.
3.1.4 Пробелы
По умолчанию XML процессоры удаляют конечные пробелы, символы
"новой строки", вкладки (позиции табуляции) и сокращают любое внутреннее
незаполненное прост панство до одиночного пробела (" ").В случае необходимости
использование выше перечисленных символов возможно после их кодирования и указания для
них сбыл кие объекта.
3.1.5 Требуемые параметры
Большинство из описанных элементов требуют определенного числа параметров
(1,2 или 3).
MathML содержит универсальный элемент раэделителя <
SEP/>,игнорируемый эле ментами представления.
3.1.6 Пустые элементы
Единственным пустым элементом лексемы является .Пустые элементы и могут быть включены только в определенную схему раз мещения.
3.1.7
Некоторые элементы, например, используются для "украшения" операторов.
3.1.8 Резюме
Лексемы :
идентификаторы номер оператор заграждающая метка текст пробел литерал строки
Общая схема размещения :
изменение стиля включение сообщения о синтаксической ошибке при сохранении размера содержание становится невидимым горизонтальная группировка любого числа подвыражений формирование дроби из двух подвыражений формирование знака квадратного корня (радикала без индекса) формирование радикала с определенным индексом
Таблицы и матрицы :
таблица или матрица строка в таблице или матрице одно вхождение в таблицу или матрицу
3.2 Лексемы
В лексемы можно включать любое количество символов, в том числе позволительно использовать лексемы без содержания.
3.2.1 - идентификаторы
Идентификаторы включают в себя переменные, имена функций и символьные констан ты.
Namevaluesdefaultfontsizenumber (points)inheritedfontweightplain| boldinheritedfontslantplain | italicautomaticfontfamilystringinheritedfontcolor#rrggbbinherited
Идентификаторы символа Single по умолчанию выводятся в курсивном шрифте, сим вольные идентификаторы выводятся в ненаклонном шрифте.
x
π
D
sin
sin
x
Текст, который нужно обработать как символ, должен быть представлен в виде :
1
+
...
+ n
3.2.2 - номер
лексемы, в отличии от ,обычно представлены в ненаклонном шрифте.
2
0.123
1,000,000
2.1e10
3.2.3 - операторы
Лексемы, являющиеся операторами, относятся к типу .
+
≤
++
∑
.NOT.
3.2.4 - заграждающие метки
Согласованные пары заграждающих меток должны быть включены в качестве перво го и последнего элементов в схему .
Рассмотрим примеры выражений, содержащих заграждающие метки:
(a + b)
( a
+ b
)
[0,1)
[
0
,
1
)
3.2.1.4
Механизмы исполнения операторов и заграждающих меток идентичны и более слож ны по сравнению с другими маркерами.
Многие математические символы типа интегрального символа, знака
"+",круглых скобок и т.д. имеют заданные по умолчанию атрибуты, которые могут
включаться в и схемы.
Многие операторы в каждой конкретной форме могут использоваться по- разному.
Знак "+",например, в зависимости от ситуации может быть как префиксом, так и инфиксом.
Если оператор является первым подвыражением в и его длина превышает единицу, то используется префиксная форма; если же оператор является послед ним подвыражением в ,то правилами предусматривается использование пост фиксной формы. Инфиксная форма для операторов, включенных в схему типа , не используется.
Если возникает ситуация выбора одной из нескольких форм и не дано никаких дополнительных указаний, то право ее остается за пользователем.
Существуют четыре атрибута, регулирующие соотношениями между размерами опе раторов ,заграждающих меток и других элементов : stretchy, symmetric, maxsize и minsize. Например, если для символа maxsize="3",это означает, что его размеры могут превысить стандартные не более, чем в три раза.
Рассмотрим пример: установить максимальный размер круглой скобки.
( ab
)
3.2.5 - текст
Лексема используется для представления текста нематематического ха рактера.
Этот элемент часто используется для включения в документ
"невидимых симво лов".
Элементы, входящие в схемы типа , могут быть включены в схему типа
.
&thickspace; a b
Примеры :
Theorem 1:
&thinspace;
&alignmentmarker;&thickspace;
/* a comment */
3.2.6 - пробелы
- пустой элемент, задающий пустое пространство любого желаемого размера.
3.2.7 - строковый литерал
используется для включения в выражения "строковых литералов". сок ращает пробелы по умолчанию.
Как правило, тексты, которые необходимо внедрить в математический
документ, чаще включаются в схемы типа ,,,а не в схемы типа
.
Строковые литералы отображаются заключенными в двойные кавычки.
"" можно представить как :
there exists
δ
>
0 such that f
( x
)