|}
Преобразование Барроуза-Уилера текста <tex>T</tex> есть текст <tex>B[0 .. N] = BW(T)</tex>, буквы которого заданы соотношением:
:{|
|statement=
:''При всех <tex>m = 1, ..., N + 1</tex> верны утверждения,:<tex>B_{\sigma(i)}...B_{\sigma^{m}(i)} \preceq B_{\sigma(i + 1)}...B_{\sigma^{m}(i + 1)}</tex>, при <tex>i = 0, ..., N - 1\ \ \textbf{(4)}</tex>'':<tex>B_iB_{\sigma(i)}...B_{\sigma^{m - 1}(i)} = S_{p(i) - 1}T[0..m - 1]</tex>, при <tex>i = 0, ..., N\ \ \textbf{(5)}</tex>:''''
|proof=
