Навигация
Типы элементов представления
16360
знаков
0
таблиц
0
изображений
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
)
Похожие работы
... и minsize. Например, если для символа maxsize="3", это означает, что его размеры могут превысить стандартные не более, чем в три раза. 3. Создание математических формул в Web с помощью MathBuilder Программа MathBuilder (рис.1) представляет собой приложение к системе создания математических формул MathType 5 . При публикации ...
... так как программы отображения не обязаны принимать во внимание расположенную в комментариях информацию. Ее использование зависит от программы. 1.7 Синтаксис и грамматика MathML 1.7.1 Синтаксис и грамматика MathML MathML основан на [XML] (Extensible Markup Language), а значит его синтаксис подчиняется правилам сиснтаксиса XML, и грамматика определяется DTD (Document Type Definition). Другими ...
... + C_{n-1}^{k-1}$[/math] 3. Постановка задачи Передо мной была поставлена задача: создать решение проблемы отображения математических и других формул для форума физико-математического факультета Орловского государственного университета, используя установленный форумный движок phpBB3, издательскую систему TeX, пакет расширений LaTeX и пакет для обработки графических файлов ImageMagick. ...
... и внешнем виде, освобождая время для продуктивной творческой деятельности. Главное преимущество Web-технологий в современных условиях заключается в их простоте и как следствие в повышении эффективности их применения. 2.1. Язык гипертекстовой разметки HTML Популярность Internet во многом вызвана появлением World Wide Web (WWW), так как это первая сетевая технология, которая предоставила ...
0 комментариев