Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга

Скорочена інформація про документ
dc.contributor.authorЗайцев, Д. А.
dc.contributor.authorЗайцев, Дмитро Анатолійович
dc.contributor.authorZaitsev, D. A.
dc.date.accessioned2014-11-06T12:03:56Z
dc.date.available2014-11-06T12:03:56Z
dc.date.issued2012
dc.description.abstractenThe 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.uk
dc.description.abstractruПостроена ингибиторная сеть Петри с фиксированной структурой, исполняющая произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10-ти выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в сети Петри, скомпонованной из операторов последовательности, ветвления, цикла. Использованы подсети, реализующие операции арифметики, сравнения, копирования.uk
dc.description.abstractukПобудовано інгібіторну мережу Петрі з фіксованою структурою, яка виконує довільну задану машину Тюрінга. Стрічка машини Тюрінга, її програма та стани зашифровані маркуванням 10-ти виділених позицій мережі Петрі. Правила роботи машини Тюрінга закодовано одиночним потоком управління в мережі Петрі, яка скомпонована із операторів послідовності, розгалуження, циклу. Використано підмережі, що реалізують операції арифметики, порівняння, копіювання.uk
dc.format.pagerangeС. 26-41uk
dc.identifier.citationЗайцев Д. А. Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга / Д. А. Зайцев // Системні дослідження та інформаційні технології : науково-технічний журнал. – 2012. – № 2. – С. 26–41. – Бібліогр.: 12 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/9173
dc.language.isoruuk
dc.publisherПолітехнікаuk
dc.publisher.placeКиївuk
dc.source.nameСистемні дослідження та інформаційні технології: науково-технічний журналuk
dc.status.pubpublisheduk
dc.subject.udc519.74uk
dc.titleИнгибиторная сеть Петри, исполняющая произвольную заданную машину Тьюрингаuk
dc.title.alternativeІнгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінгаuk
dc.title.alternativeInhibitor Petri Net, which performs any given Turing machineuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
02_Zayce.pdf
Розмір:
337.57 KB
Формат:
Adobe Portable Document Format
Опис:
Основная статья
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Системні дослідження та інформаційні технології: науково-технічний журнал, № 2