Prdутверждает, что сущность, обозначенная , является надписью.
Соединение
Рrаутверждает, что сущность, обозначенная, является надписью,
полученной путем приписывания к сущности, обозначенной, сущности,
обозначенной.
Лексикографическая последовательность
Рrсутверждает, что сущность, обозначенная, является глифом и
элементом знака, который непосредственно лексикографически следует за
знаком, элементом которого является глиф, обозначенный .
Необходимо пояснить последний предикат. Он предполагает, что в алфавите
имеется порядок. Поскольку единственный рассматриваемый здесь алфавит
описанвГ.2.2данногоприложения,естественнопредположить,что
лексикографический порядок - это порядок, в котором представлены его знаки.
Таким образом, еслиобозначает " ", тогда Рrсистинно тогда и только
тогда, когдаозначает " ".
Теперь глифы можно характеризовать как надписи, которые не могут быть
результатом соединения: первый знак - как набор всех глифов, которым
лексикографически не предшествует ни один глиф; второй знак - как набор всех
глифов, лексикографически следующих за глифами в первом знаке, и т.д. Теперь
может быть определена алфавитная функция, напримерна подмножестве
натуральных чисел от 0 до 127. Значение функции для каждого такого числа - это
знак, кодируемый бинарным представлением числа, которое является
аргументом. То есть,:9=" ".
Определим:
({ (Conс) = TheДля всехДля всехДля всех
{ЕслиПринадлежит
&Принадлежит
& Рrа
ТоПринадлежит )).
Теперь имеется механизм орфографического анализа в. Так, слово "Cat" в
- это (( :25 Conc:11) Conc:39).
Хотя это не очень легко запоминающееся обозначение, оно совершенно