188
правок
Изменения
Нет описания правки
__TOC__
==Описание==
Детерминированным конечным автоматом называется пятёрка (<tex>S, s, \Sigma, \delta, T)</tex>), где
* <tex>S</tex> {{---}} множество состояний,
* <tex>s \in S</tex> {{---}} начальное состояние,
* <tex>\Sigma</tex> {{---}} конечный алфавит,
* <tex>\delta : S \times \Sigma \to S</tex> {{---}} функция переходов,
* <tex>T \subset S</tex> {{---}} множество терминальных состояний.
Суффиксный автомат <tex>A</tex> для строки <tex>s</tex> представляет собой ациклический ориентированный граф, с начальной вершиной и множеством терминальных вершин, рёбра которого помечены символами <tex>s</tex>.
