Основные определения, связанные со строками — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 24: Строка 24:
  
 
Зададим группу с элементами <tex>a, 0, +</tex>.
 
Зададим группу с элементами <tex>a, 0, +</tex>.
 +
 +
Зададим порождение.
 +
 +
<tex>
 +
a+a+a+a\\
 +
a+a+a\\
 +
a+a\\
 +
a\\
 +
0\\
 +
-a\\
 +
-a-a\\
 +
</tex>.
 +
 +
Порождающее соотношение ограничивает количество элементов.
  
 
{{Определение
 
{{Определение

Версия 17:47, 8 апреля 2012

Базовые определения

Определение:
Алфавитом [math]\sum[/math] называется конечное непустое множество символов.


Определение:
Цепочкой (словом, строкой) конечной длины обозначим [math]\sum^* : \sum^* = \bigcup\limits_{n \in \mathbb N} \sum^n[/math].


Определение:
Конкатенацией строк [math]\alpha = \sum^k[/math] и [math]\beta = \sum^m[/math] является строка [math]\alpha\beta = \sum^{k+m}[/math]. Конкатенация является ассоциативной операцией.


Определение:
Нейтральным элементом [math]\varepsilon \in \sum^{0}[/math] называется элемент, для которого верно [math]\alpha\varepsilon=\epsilon\alpha=\alpha[/math].


Нейтральный элемент превращает [math]\sum^*[/math] в свободный моноид, порожденный [math]\sum[/math].

Зададим группу с элементами [math]a, 0, +[/math].

Зададим порождение.

[math] a+a+a+a\\ a+a+a\\ a+a\\ a\\ 0\\ -a\\ -a-a\\ [/math].

Порождающее соотношение ограничивает количество элементов.


Определение:
Алгебраическая структура называется свободной, если для нее нельзя задать порождающие соотношения с конечного множества.


Отношения между строками

Определение:
[math]\alpha[/math] называется префиксом [math]\beta[/math], если [math]\beta = \alpha \gamma[/math]. Аналогично определяется суффикс строки.


Пусть [math]\beta = abracadabra[/math], тогда

  • если [math]\alpha = abrac[/math], то [math]\alpha[/math] является префиксом [math]\beta[/math]
  • если [math]\alpha = adabra[/math], то суффиксом.


Определение:
[math]\alpha[/math] называется бордером [math]\beta[/math], если [math]\alpha[/math] одновременно является и суффиксом и префиксом.


Пусть [math]\beta = abracadabra[/math], тогда [math]\alpha = abra[/math] будет бордером [math]\beta[/math].


Определение:
Пусть строка [math]x = \sum^n[/math] имеет минимальный период [math]p[/math], [math]r = n / p[/math] и [math]u = \sum^p[/math]. Тогда декомпозиция [math]x = u^p [/math] называется нормальной формой строковой последовательности [math]x[/math].


Определение:
Строка [math]x[/math] называется примитивной, если [math]r = 1[/math].


Определение:
Если [math]r \ge 2[/math], то строка [math]x[/math] называется сильнопериодической, если [math]1 \lt r \lt 2[/math], то слабопериодической. Если [math]r[/math] -- целое и [math]r \ge 2[/math], то строка [math]x[/math] называется строгопериодической.


Строка [math]aaabaabab[/math] - примитивная [math](p = n)[/math].

Строка [math]abaababaabaab = (abaababa)(abaab)[/math] - слабопериодическая с периодом [math]p = 8[/math], порядком [math]r = 13/8[/math].

Строка [math]abaabaab = (aba)^2(ab)[/math] - сильнопериодическая с периодом [math]p = 3[/math], порядком [math]r = 8/3[/math].


Определение:
Строка [math]\alpha[/math] является подстрокой [math]\beta[/math], если [math]\beta = \gamma \alpha \delta[/math].


Строка [math]\alpha = aca[/math] является подстрокой [math]\beta = abracadabra[/math].


Определение:
Строка [math]\alpha \le \beta[/math], если:
  • [math]\alpha[/math] префикс [math]\beta[/math]
  • [math]\gamma[/math] общий префикс [math]\alpha[/math] и [math]\beta[/math], [math]\alpha = \gamma c \delta[/math], [math]\beta = \gamma d \xi[/math] и [math]c \lt d[/math]