Methods IDEF3

А.1.1 Основные синтаксические типы
Основные синтаксические типы ядра языка детального описания стандарты. Они включают следующие элементы:

Буква (Letter): Буквы представляют прописные и строчные буквы алфавита.
Цифры (Digits): Числа от 0 до 9. Положительные цифры - это цифры от 1 до 9.
Идентификатор (Identifier): Идентификатор - это любая строка, включающая буквы, цифры, тире, символы подчеркивания, которая начинается буквой и заканчивается буквой или цифрой.
Пунктуация (Punctuation): Пунктуация включает символы ASCII, которые не являются буквами или цифрами.
Полярность (Polarity): Полярность - это знак "плюс" ("+") или знак "минус" ("-"). Эти знаки играют особую роль в термах, обозначающих инфоны.
Положительное целое число (Posint): Положительное целое число - это любая последовательность цифр длиной больше 0, т.е. интуитивно это любая цифра, обозначающая положительное целое число. Если положительное целое число не является просто цифрой 0, оно должно начинаться положительной цифрой.
Беззнаковое целое число (Unsigned int): Беззнаковое целое число представляет цифру 0 или положительное целое число (posint).
Целое число (Int): Целое число - это беззнаковая цифра или знак "минус" ("-"), после которого следует положительное целое число (posint).
Экспоненты (Exponent): Экспонента - это буква "E"или "e", после которой следует целое число (int).
Число с плавающей точкой (Float): Число с плавающей точкой - это целое число (int), после которого следует экспонента, или необязательный знак "плюс" или "минус", после которого следует целое число (int) с последующей десятичной точкой, после которой следует строка цифр с последующей экспонентой.
Число (Number): Число - это целое число или число с плавающей точкой.
Строка (String): Строка - это любая последовательность символов ASCII (включая
интервал), которая начинается и кончается двойными кавычками (" " ").
Переменная (Variable): Переменная - это любой идентификатор, которому предшествует знак вопроса ("?"). Переменные ядра языка детального описания IDEFD3 не типизированы; даже между реляционными переменными и переменными индивидов не проводится различие, которое проводится в большинстве логических языков. Типизация скорее реализуется специальными аксиомами и определениями IDEF3, которые вводят базовые семантические категории целевого семантического языка и характеризуют их свойства и отношения между ними (раздел A.3).