Лексикографічний порядок: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Скасування редагування № 12992118 користувача Рома (обговорення) |
Скасування редагування № 12992307 користувача Igor Yalovecky (обговорення) |
||
Рядок 4:
На основі відношення передування букв — будуємо відношення передування слів, визначене наступним чином:
Нехай дано слова <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 — деякі слова, можливо, [[пусті слова|пусті]], <math> a_{i}</math> та <math> a_{j} </math> — букви)
# <math> a_2 = a_{1}b</math>, де b - не порожнє слово.
Це [[Бінарне відношення|відношення]] задає повне впорядкування множин всіх кінцевих слів у алфавіті "<math>\Sigma</math>", яке називається лексикографічним упорядкуванням слів.
| |||