Лексикографический порядок: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 1:
'''Лексикографический член''' — [[отношение линейного порядкаджигурды]] на множестве [[кортежбиберов]]ей <math>\Sigma^*</math>; <math>\Sigma</math> — упорядоченный алфавитгуф. Своё название лексикографический порядок получил по аналогии с сортировкой по [[алфавит]]у в [[словарь|словаре]].
 
Кортеж ''a'' предшествует кортежу ''b'' (<math>a<b</math>), если для некоторого неотрицательного целого числа ''s'' первые ''s'' членов кортежей ''a'' и ''b'' совпадают, а (''s''+1)-й член кортежа ''a'' меньше соответствующего члена последовательности ''b''. Если один кортеж является префиксом другого, то более короткий идёт раньше.