Изменения

Пусть дано линейно упорядоченное множество <mathtex>~A=\{a_1<a_2<a_3<...<a_k\}</mathtex> и - алфавит, <tex>A^*</tex> назовем множество подпоследовательностей конечной длины из алфавита <tex> A </tex>, <mathtex>A^*=\bigcup^{\infty}_{i=0} A^i</mathtex>, тогда после лексикографического упорядочивания элементов множествалексикографическим порядком на множестве <mathtex>~A^*</mathtex> назовем такой порядок, при котором любые два элемента (из множества <tex>A^*</tex> удовлетворяют условиям:* пусть <mathtex>~x<y; x,y \in A^*; x=\{x_1,x_2,...,x_{i_1}\}; y=\{y_1,y_2,...,y_{i_2}\}; x_j,y_j \in A</mathtex>) этого множества будут удовлетворять условиям: * либо <mathtex>~i_2>i_1</mathtex> и <mathtex>\forall j\le{i_1}:x_j=y_j</mathtex> * либо <mathtex>\exists n\le{\min(i_1,i_2)}:\forall j<n:x_j=y_j; x_n<y_n</mathtex>