6.5.5. Обращение

В отличие от рассмотренных до сих пор операций обращение, по-видимому, представляет только теоретический интерес. Обращение предложения xR — это предложение х, символы которого Расположены в противоположном порядке. Мы определяем эту операцию рекурсивно:

для й £ £, х £ 2 * . Обращение языка определяется следующим образом:

Теорема 6.6. Если L — язык сети Петри, то и LR — язык сети Петри.

Конструкция в этом случае тривиальна. Начальная и заключительная маркировки меняются местом, меняются местом также входные и выходные комплекты каждого перехода. Следовательно, L(y') = L(v)R- Построенная сеть просто выполняет первоначальную сеть Петри в обратном порядке и обращает все порождаемые ею строки.