Изменения

Перейти к: навигация, поиск

Автоматы в современном мире

48 байт добавлено, 10:10, 14 марта 2018
→‎Построение НКА
Для построения автомата нам нужно построить отдельно части НКА для каждой части выражения, финальным шагом будет соединение всего автомата вместе. Для примера напишем программу на '''C''', представим НКА как связанный список структур состояний <tex>\mathrm{state}</tex>
'''struct''' state:
'''int''' c '''state''' *out '''state''' *out1 '''int''' lastlist
Каждый <tex>\mathrm{state}</tex> представляет один из фрагментов НКА, зависящий от символа c.
Данная реализация будет поддерживать постфиксную нотацию регулярного выражения. Допустим у нас есть функция <tex>\mathrm{re2post}</tex>, которая переписывает инфиксную форму регулярного выражения <tex>``a(bb)+a"</tex> в эквивалентную постфиксную вида <tex>``abb.+.a."</tex> (<tex>.</tex> используется в качестве разделителя). По мере сканирования постфиксного выражения, будем поддерживать стек вычисленных НКА фрагментов. Символы добавляют новый НКА фрагмент в стек, а операторы вынимают фрагменты и добавляют новые. Каждый фрагмент определяется стартовым состояние и исходящей стрелкой:
'''struct''' frag:
'''state''' *start '''ptrList''' *out
<tex>\mathrm{start}</tex> указывает на стартовое состояние фрагмента, а <tex>\mathrm{out}</tex> {{---}} лист указателей на <tex>\mathrm{state*}</tex> указатели, которые ещё не соединены.
Некоторые полезные функции для управления списком указателей:
Используя данные примитивы и стек фрагментов можно реализовать построение НКА.
'''fun''' post2nfa('''char''' *postfix):'''state*'''
'''char''' *p '''frag''' stack[1000], *stackp, e1, e2, e '''state''' *s stackp = stack; '''for''' (p = postfix; *p; p++) '''switch'''(*p) '''defaul'''t: <span style="color:#008000">// символ</span> s = state(*p, NULL, NULL) push(frag(s, list1(&s->out)) '''break''' '''case''' '.': <span style="color:#008000">// конкатенация</span> e2 = pop() e1 = pop() patch(e1.out, e2.start) push(frag(e1.start, e2.out)) '''break''' '''case''' '|': <span style="color:#008000">// альтернатива</span> e2 = pop() e1 = pop() s = state(Split, e1.start, e2.start) push(frag(s, append(e1.out, e2.out))) '''break''' '''case''' '?': <span style="color:#008000">// ноль или один</span> e = pop() s = state(Split, e.start, NULL) push(frag(s, append(e.out, list1(&s->out1)))) '''break''' '''case''' '*': <span style="color:#008000">// ноль или больше</span> e = pop() s = state(Split, e.start, NULL) patch(e.out, s) push(frag(s, list1(&s->out1))) '''break''' '''case''' '+': <span style="color:#008000">// один или больше</span> e = pop() s = state(Split, e.start, NULL) patch(e.out, s) push(frag(e.start, list1(&s->out1))) '''break''' e = pop() patch(e.out, matchState) '''return''' e.start
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/64320»

Навигация