Изменения
→Сравнение слов
1. Слово <tex> ~A </tex> является префиксом слова <tex> ~B </tex>
2. Ни одно из слов не является префиксом другого, но существует<tex> i </tex> <tex> \ge 0 </tex> такое, что для всех <tex> j < i </tex> выполнено неравенство <tex> A_j = B_j </tex>, а <tex> A_i < B_i </tex>. Элементы слова мы можем сравнивать, так как это элементы алфавита, а на алфавите задан строгий порядок.
Приведем псевдокод сравнения слов:
