Изменения

Слова записаны в лексикографическом порядке, если для любых <tex> ~i < ~j </tex> выполняется неравенство <tex> ~S_i < ~S_j </tex>, где <tex> ~S_i </tex> и <tex> ~S_j </tex> слова с номерами <tex> ~i </tex> и <tex> ~j </tex>. Что же значит, что слово <tex> ~A </tex> меньше слова <tex> ~B </tex>, и как вообще можно сравнивать слова?

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