Зайцев, Д.А.
(Системні дослідження та інформаційні технології, 2012)
Построена ингибиторная сеть Петри с фиксированной структурой, которая исполняет произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10 выделенных позиций сети ...