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

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 67: Строка 67:
 
}}
 
}}
  
 +
Пусть <tex>\beta = cacao</tex>, тогда <tex>\beta[1] = c, \beta[4] = a </tex>.
 +
 
{{Определение
 
{{Определение
 
|id=period
 
|id=period
Строка 74: Строка 76:
  
 
Пусть <tex>\alpha = acaacaa</tex>, тогда <tex>p = 3</tex> {{---}} период строки <tex>\alpha = acaacaa</tex>.
 
Пусть <tex>\alpha = acaacaa</tex>, тогда <tex>p = 3</tex> {{---}} период строки <tex>\alpha = acaacaa</tex>.
 +
  
 
{{Утверждение
 
{{Утверждение

Версия 00:50, 10 июня 2014

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

Определение:
Символ (англ. symbol) — объект, имеющий собственное содержание и уникальную читаемую форму.


Определение:
Алфавит (англ. alphabet) [math]\Sigma[/math] — непустое множество символов.


Примеры:

  • [math]\Sigma = \left\{0, 1\right\} [/math] — бинарный алфавит.
  • [math]\Sigma = \left\{\cdot, -\right\} [/math] — алфавит, лежащий в основе азбуки Морзе.
  • [math]\Sigma = \left\{a, b, c, d, \dots, z\right\} [/math] — английский алфавит.
  • [math]\Sigma = \left\{0, 1, 2, \dots, 9\right\} [/math] — алфавит цифр.
  • Нотные знаки


Определение:
Нейтральный элемент — пустая строка [math]\varepsilon : \varepsilon \in \Sigma^{0}[/math]. Для любой строки [math]\alpha \in \Sigma^k[/math] верно [math] : \alpha\varepsilon=\varepsilon\alpha=\alpha[/math].


Определение:
Замыкание Клини (англ. Kleene closure) — унарная операция над множеством строк либо символов. Замыкание Клини множества [math]\Sigma[/math] есть [math]\Sigma^* : \Sigma^* = \bigcup\limits_{n = 0}^\infty \Sigma^n[/math].


Если [math]\Sigma = \left\{0, 1\right\}[/math], то [math]\Sigma^* = \left\{\varepsilon, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, \dots \right\} [/math].


Определение:
Цепочка (англ. chain) — элемент конечной длины из [math]\Sigma^*[/math].


Определение:
Конкатенация (англ. concatenation) — бинарная, ассоциативная, некоммутативная операция, определённая на словах данного алфавита. Конкатецния строк [math]\alpha \in \Sigma^k[/math] и [math]\beta \in \Sigma^m[/math] является строка [math]\alpha\beta \in \Sigma^{k + m}[/math].


Определение:
Моноид (англ. monoid) — множество, на котором задана бинарная ассоциативная операция, обычно именуемая умножением, и в котором существует нейтральный элемент. [math]\Sigma^*[/math] с операцией конкатенации и нейтральным элементом [math]\varepsilon[/math] образуют моноид


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

Определение:
Префикс (англ. prefix) строки [math]\beta[/math] — строка [math]\alpha : \beta = \alpha \gamma[/math].


Пусть [math]\beta = \underline{abr}acadabra[/math], тогда [math]\alpha = abr[/math] — префикс [math]\beta[/math].


Определение:
Суффикс (англ. suffix) строки [math]\beta[/math] — строка [math]\alpha : \beta = \gamma \alpha [/math].


Пусть [math]\beta = abracada\underline{bra}[/math], тогда [math]\alpha = bra[/math] — суффикс [math]\beta[/math].


Определение:
Бордер (англ. circumfix) строки [math]\beta[/math] — строка [math]\alpha : \beta = \gamma \alpha = \alpha \eta = \alpha \mu \alpha[/math].


Пусть [math]\beta = \underline{abra}cad\underline{abra}[/math], тогда [math]\alpha = abra[/math] — бордер [math]\beta[/math].


Определение:
[math]\alpha[i][/math] — обращение к символу под номером [math]i[/math] строки [math]\alpha[/math].


Пусть [math]\beta = cacao[/math], тогда [math]\beta[1] = c, \beta[4] = a [/math].


Определение:
Период (англ. period) строки [math]\alpha[/math] — число [math]p : \forall i = 1 \ldots |\alpha| - p, \alpha [i] = \alpha[i + p][/math].


Пусть [math]\alpha = acaacaa[/math], тогда [math]p = 3[/math] — период строки [math]\alpha = acaacaa[/math].


Утверждение:
Пусть известна строка [math]\tau[/math] — период [math]\alpha[/math] и [math]|\alpha|[/math], тогда можно восстановить всю строку [math]\alpha[/math].
[math]\triangleright[/math]

Из определения периода строки следует, что [math]\alpha[1 \dots |\tau|] = \alpha[|\tau| + 1 \dots 2 \cdot |\tau|] = \dots = \alpha[|\tau| \cdot (k - 1) + 1 \dots |\tau| \cdot k] [/math], где [math]k = [/math] [math]\lfloor\frac{|\alpha|}{|\tau|} \rfloor[/math].

Таким образом [math]\alpha = [/math][math]\sum \limits_{i=1}^{\lfloor\frac{|\alpha|}{|\tau|} \rfloor}[/math][math] \tau + \tau[1 \dots |\alpha| \bmod |\tau|][/math].
[math]\triangleleft[/math]


Определение:
Строка [math]\alpha \neq \varepsilon[/math] c периодом [math]p \neq |\alpha|[/math], называется сильнопериодической, если [math]|\alpha| \bmod p = 0[/math].


Строка [math]\alpha = acaacaaca[/math] является сильнопериодической с периодом [math]p = 3[/math].


Определение:
Подстрока (англ. substring) — некоторая непустая подпоследовательность подряд идущих символов строки.


Пусть [math]\beta = abr\underline{aca}dabra[/math], тогда [math]\alpha = aca[/math] — подстрока строки [math]\beta[/math].


Определение:
Строка [math]\alpha[/math] лексикографически меньше строки [math]\beta[/math] ([math]\alpha \lt \beta[/math]), если

1. [math]\alpha[/math] — префикс [math]\beta[/math]

или

2. [math] \mathcal {9} k : k \leqslant \min(|\alpha|, |\beta|) [/math] и [math] \alpha[k] \lt \beta[k] [/math], при этом [math] \mathcal {8} j \lt k : \alpha_j = \beta_j [/math]


Строка [math]\alpha = aca \lt \beta = acaaba[/math], так как является префиксом [math]\beta[/math].

Строка [math]\alpha = acaa \lt \beta = acab[/math], так как [math]a \lt b[/math].

Смотри также

Период и бордер, их связь

Слово Фибоначчи

Слово Туэ-Морса

Литература

  • Гасфилд Д. Строки, деревья и последовательности в алгоритмах: Информатика и вычислительная биология. — 2-е изд.
  • Kelley, Dean (1995). Automata and Formal Languages: An Introduction. London: Prentice-Hall International. ISBN 0-13-497777-7.
  • Gusfield, Dan (1999) [1997]. Algorithms on Strings, Trees and Sequences: Computer Science and Computational Biology. USA: Cambridge University Press. ISBN 0-521-58519-8.