KURS1~1 (Язык математической разметки MathML), страница 2

перечисленных символов возможно после их кодирования и указания для них сбыл

кие объекта.

3.1.5 Требуемые параметры

Большинство из описанных элементов требуют определенного числа параметров

(1,2 или 3).

MathML содержит универсальный элемент раэделителя ,игнорируемый эле

ментами представления.

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

)

<

1

3.3 Общая схема размещения

Помимо лексем существует несколько семейств элементов представления MathML.

Одно из таких семейств связано с различными схемами создания сценариев, дру

гое - с таблицами и матрицами. Существуют элементы, с чьей помощью описываются

основные схемы записи дробей, радикалов и т.д., происходит поиск и обработка

ошибок и пр.

3.3.1 - изменения стиля

используется для внесения изменений в содержание.

Пример изменения размеров круглой скобки, записанный с использованием и

,можно переписать с следующим образом:

(

ab

)

3.3.2 - включение сообщения об ошибках

Сообщение о синтаксической ошибке может быть произведено путем изменения

фонового цвета, высвечивания изображения или подчеркивания ошибки красным

цветом.

Задача этого элемента состоит в обеспечении механизма сообщения о синтакси

ческих ошибках при совместной работе MathML с другими прикладными програм

мами.

3.3.3.

может использоваться для выравнивания частей выражения и измене

ния позиций символов.

3.3.4 - горизонтальная группировка подвыражений

Несколько операторов могут быть включены в схему типа только в том

случае, когда они принадлежат к одному типу.

Группировка преследует следующие цели: улучшение визуального представления

и упрощение обработки информации различными средствами, предназначенными для

этой цели.

Пример может быть записан

так:

2

⁢

x

+

y

-

z

3.3.5 - формирование дроби из двух подвыражений

numerator(знаменатель) denominator(числитель)

3.3.6 и - формирование радикалов

Схема используется для вывода квадратных корней, а схема -

- для вывода радикалов с индексами.

base

base index

3.4

Для лучшей фиксации абстрактной структуры записи MathML обеспечивает специа

лизированную схему создания сценария.

Отметки представления используются описания структуры выражений.

может быть представлено в

следующем виде:

(

x

+

y

)

2

3.4.1

base subscript

3.4.2

base superscript

3.4.3

base subscript superscript

Интеграл при помощи можно записать следующим образом :

∫

0

1

ⅇ

x

⁢

ⅆ

x

3.4.4

base underscript

3.4.5

base overscript

3.4.6

base underscript overscript

14