Изменения

{{Определение|definition=Пусть нам дан алфавит даны две последовательности <tex> ~A = a_1 a_2 ... a_n </tex> и <tex> ~B = b_1 b_2 ... b_m </tex> <br>Тогда последовательность <tex> ~A </tex> '''лексикографически меньше''' последовательности <tex> ~B </tex>, если: <br>1. <tex> n<m </tex> и при этом <tex> a_i=b_i </tex> для всех <tex>i \Sigma in [1;n] </tex><br>'''или'''2. <tex> \mathcal {9} k\leqslant min(n, на котором определен линейный порядок. m): a_k<b_k </tex> и при этом <tex> \mathcal {8} j < k ~a_j = b_j </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 ''' Сompare(A, B : '''string''') // Возвращает "<LESS" (, если A < B), ">MORE" (, если A > B), или "=EQUAL", (если строки последовательности равны) '''for ''' i = 1 .. min(len(A), len(B)) '''if ''' (A[i] < B[i]) // i-й элемент А меньше i-го элемента B, но префиксы длины i - 1 равны '''return <''' LESS '''if ''' (A[i] > B[i]) // i-й элемент А больше i-го элемента B, но префиксы длины i - 1 равны '''return >''' MORE // Одна из строк является префиксом другой '''if ''' (len(A) < len(B))// А - префикс В, но не равна ей. '''return <''' LESS '''if ''' (len(A) > len(B))// В - префикс А, но не равна ей. '''return >''' MORE '''return = ''' EQUAL // Длины строк последовательностей и все символы элементы равны{{ОпределениеСлова |definition=Последовательности записаны в '''лексикографическом порядке(in lexicographical order)''', если для любых <tex> i<j </tex> выполняется неравенство <tex> S_i<S_j </tex>, где <tex> S_i </tex> и <tex> S_j </tex> слова последовательности с номерами <tex> i </tex> и <tex> j </tex>.}}