Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
oleh: D. A. Zaitsev
| Format: | Article |
|---|---|
| Diterbitkan: | Igor Sikorsky Kyiv Polytechnic Institute 2012-06-01 |
Deskripsi
Построена ингибиторная сеть Петри с фиксированной структурой, которая исполняет произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10 выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в сети Петри, скомпонованной из операторов последовательности, ветвления, цикла. Использованы подсети, реализующие операции арифметики, сравнения, копирования.