Построена ингибиторная сеть Петри с фиксированной структурой, которая исполняет произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10 выделенных позиций сети ...

Введены и исследованы специальные подмножества уравнений линейной системы, именуемые кланами. Предложено использовать декомпозицию на кланы для ускорения решения линейной системы. Сложность декомпозиции равна кубу от размера ...