Лексикографический порядок

Определение

Слова записаны в лексикографическом порядке, если для любых [math] ~i \lt ~j [/math] выполняется неравенство [math] ~S_i \lt ~S_j [/math], где [math] ~S_i [/math] и [math] ~S_j [/math] слова с номерами [math] ~i [/math] и [math] ~j [/math].

Что же значит, что слово [math] ~A [/math] меньше слова [math] ~B [/math], и как вообще можно сравнивать слова?

Говорят, что слово [math] ~A [/math] меньше слова [math] ~B [/math], если:

1. Слово [math] ~A [/math] является префиксом слова [math] ~B [/math]

2. Ни одно из слов не является префиксом другого, но существует [math] i [/math] [math] \ge 0 [/math] такое, что для всех [math] j \lt i [/math] выполнено неравенство [math] A_j = B_j [/math], а [math] A_i \lt B_i [/math]. Элементы слова мы можем сравнивать, так как это элементы алфавита, а на алфавите задан строгий порядок.

Приведем псевдокод сравнения слов:

function isEqual(A, B : string)
   for i = 0 .. min(len(A), len(B)) - 1 //Длины равны, символы строк нумеруются с ноля
        if (A[i] < B[i])
            return <
        if (A[i] > B[i])
            return >
    //Одна из строк является префиксом другой
    if (len(A) < len(B))
        return <
    if (len(A) > len(B))
        return >
    return = //Длины строк и все символы равны

Примеры

1. Последовательность чисел в любой системе счисления, записанных в фиксированной разрядной сетке (000, 001, 002, 003, 004, 005, …, 999).
2. Порядок слов в словаре. Предполагается, что буквы можно сравнивать, сравнивая их номера в алфавите. Тогда лексикографический порядок — это, например, ААА, ААБ, ААВ, ААГ, …, ЯЯЯ.
3. Эти слова тоже записаны в лексикографическом порядке: азбука, бог, борода, сон, сонный.