Лексикографічний порядок: відмінності між версіями

[неперевірена версія][перевірена версія]
Вилучено вміст Додано вміст
Скасування редагування № 13003400 користувача 94.153.230.50 (обговорення)
→‎Приклади: було "не порожнє слово". Замінила на "непорожнє слово" (в даному випадку має писатися разом, оскільки означає цілісне означення)
Рядок 5:
Нехай дано слова <math> a_{1} = a_{11} ... a_{1m} </math> та <math> a_{2} = a_{21} ... a_{2m} </math>, тоді <math> a_1 <= a_2 </math>, якщо виконується перший або другий пункт.
# <math> a_1 = ba_{i} g , a_2 = ka_{j}d </math> та <math> a_{i} <= a_{j} </math> (b , g , k&nbsp;— деякі слова, можливо, пусті, <math> a_{i}</math> та <math> a_{j} </math>&nbsp;— букви)
# <math> a_2 = a_{1}b</math>, де b - не порожнєнепорожнє слово.
Це [[Бінарне відношення|відношення]] задає повне впорядкування множин всіх кінцевих слів у алфавіті "<math>\Sigma</math>", яке називається лексикографічним упорядкуванням слів.