Изменения
→Шаг 2. Преобразование бора
=== Шаг 2. Преобразование бора ===
Обозначим за <tex>[u]</tex> слово, приводящее в вершину <tex>u</tex> в боре.<br />
Узлы бора можно понимать как состояния [[Детерминированные_конечные_автоматы | автомата]], а корень как начальное состояние.<br />
Узлы бора, в которых заканчиваются строк, становятся терминалами.<br />
Для переходов по автомату заведём в узлах несколько функций:<br />
