Изменения
→Определение
== Определение ==
Пусть нам дан алфавит, на котором определен линейный порядок. То есть для любых <tex> i < j </tex> выполнено неравенство <tex> K_i < K_j </tex>, где <tex> K_i ~- </tex> <tex> i</tex>-ый элемент алфавита.
Говорят, что слово <tex> ~A </tex> меньше слова <tex> ~B </tex>, если выполнено одно из следующих условий:
# Слово <tex> ~A </tex> является префиксом слова <tex> ~B </tex>.
# Cуществует <tex> i </tex> <tex> \ge 0 </tex> такое, что для всех <tex> j < i </tex> выполнено неравенство <tex> A_j = B_j </tex>, а <tex> A_i < B_i </tex>. Элементы слова мы можем сравнивать, так как это элементы алфавита, а на алфавите задан строгий порядок.
Приведем псевдокод сравнения слов:
function isEqual(A, B : string)
