Исследование класса контекстно-свободных языков строго вкладываемых в класс тупиковых языков вложенных рекурсивных сетей Петри. Изучение алгоритма построения сети, порождающей данный контекстно-свободный язык в сравнении с обыкновенными сетями Петри.
Аннотация к работе
Приводится алгоритм построения сети, порождающей данный КС-язык. сеть петри язык рекурсивный Рекурсивные вложенные сети Петри - обобщение вложенных сетей, в котором сеть может порождать в качестве элемента (фишки) свою собственную копию, что снимает ограничения на глубину вложенности. Разметка M в сети N над множеством S есть функция из P в SMS, ставящая в соответствие каждой позиции мультимножество над S.