Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
|
|
Creator |
Зайцев, Д.А.
|
|
Subject |
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
|
|
Description |
Построена ингибиторная сеть Петри с фиксированной структурой, которая исполняет произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10 выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в сети Петри, скомпонованной из операторов последовательности, ветвления, цикла. Использованы подсети, реализующие операции арифметики, сравнения, копирования.
Побудовано інгібіторну мережу Петрі з фіксованою структурою, яка виконує довільну задану машину Тюрінга. Стрічка машини Тюрінга, її програма та стани зашифровані маркуванням 10-ти виділених позицій мережі Петрі. Правила роботи машини Тюрінга закодовано одиночним потоком управління в мережі Петрі, яка скомпонована із операторів послідовності, розгалуження, циклу. Використано підмережі, що реалізують операції арифметики, порівняння, копіювання. The inhibitor Petri net with a fixed structure that executes an arbitrary given Turing machine was constructed. The tape of the Turing machine, its program and states are encoded by the marking of 10 dedicated places of the Petri net. The rules of Turing machine work are encoded by a single control flow within the inhibitor Petri net, which is composed of the sequence operators, branching, and cycle. Subnets which implement arithmetic, comparison and copying operations are used. |
|
Date |
2013-10-06T13:49:55Z
2013-10-06T13:49:55Z 2012 |
|
Type |
Article
|
|
Identifier |
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга / Д.А. Зайцев // Систем. дослідж. та інформ. технології. — 2012. — № 2. — С. 26-41. — Бібліогр.: 12 назв. — рос.
1681–6048 http://dspace.nbuv.gov.ua/handle/123456789/50161 519.74 |
|
Language |
ru
|
|
Relation |
Системні дослідження та інформаційні технології
|
|
Publisher |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
|
|