Изменения

Каждый '''<tex>\mathrm{state''' }</tex> представляет один из фрагментов НКА, зависящий от символа c.Данная реализация будет поддерживать постфиксную нотацию регулярного выражения. Допустим у нас есть функция <tex>\mathrm{re2post}</tex>, которая переписывает инфиксную форму регулярного выражения "a(bb)+a" в эквивалентную постфиксную вида "abb.+.a." (. используется в качестве разделителя). По мере сканирования постфиксного выражения, будем поддерживать стек вычисленных НКА фрагментов. Символы добавляют новый НКА фрагмент в стек, а операторы вынимают фрагменты и добавляют новые. Каждый фрагмент определяется стартовым состояние и исходящей стрелкой:

'''<tex>\mathrm{start''' }</tex> указывает на стартовое состояние фрагмента, а '''<tex>\mathrm{out''' }</tex> - лист указателей на '''<tex>\mathrm{state*''' }</tex> указатели, которые ещё не соединены.

'''<tex>\mathrm{list1''' }</tex> создает новый список указателей состоящий из одного указателя '''<tex>\mathrm{outp'''}</tex>. '''<tex>\mathrm{append''' }</tex> конкатенирует два списка указателей, возвращая результат. '''<tex>\mathrm{patch''' }</tex> связывает повисшую стрелку в списке '''l''' с состоянием '''s'''.