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

Зайцев, Д. А.; Зайцев, Дмитро Анатолійович; Zaitsev, D. A.

Full metadata record

DC Field	Value	Language
dc.contributor.author	Зайцев, Д. А.	-
dc.contributor.author	Зайцев, Дмитро Анатолійович	-
dc.contributor.author	Zaitsev, D. A.	-
dc.date.accessioned	2014-11-06T12:03:56Z	-
dc.date.available	2014-11-06T12:03:56Z	-
dc.date.issued	2012	-
dc.identifier.citation	Зайцев Д. А. Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга / Д. А. Зайцев // Системні дослідження та інформаційні технології : науково-технічний журнал. – 2012. – № 2. – С. 26–41. – Бібліогр.: 12 назв.	uk
dc.identifier.uri	https://ela.kpi.ua/handle/123456789/9173	-
dc.language.iso	ru	uk
dc.title	Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга	uk
dc.title.alternative	Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга	uk
dc.title.alternative	Inhibitor Petri Net, which performs any given Turing machine	uk
dc.type	Article	uk
thesis.degree.level	-	uk
dc.format.pagerange	С. 26-41	uk
dc.status.pub	published	uk
dc.publisher.place	Київ	uk
dc.source.name	Системні дослідження та інформаційні технології: науково-технічний журнал	uk
dc.subject.udc	519.74	uk
dc.description.abstractuk	Побудовано інгібіторну мережу Петрі з фіксованою структурою, яка виконує довільну задану машину Тюрінга. Стрічка машини Тюрінга, її програма та стани зашифровані маркуванням 10-ти виділених позицій мережі Петрі. Правила роботи машини Тюрінга закодовано одиночним потоком управління в мережі Петрі, яка скомпонована із операторів послідовності, розгалуження, циклу. Використано підмережі, що реалізують операції арифметики, порівняння, копіювання.	uk
dc.description.abstracten	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.	uk
dc.description.abstractru	Построена ингибиторная сеть Петри с фиксированной структурой, исполняющая произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10-ти выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в сети Петри, скомпонованной из операторов последовательности, ветвления, цикла. Использованы подсети, реализующие операции арифметики, сравнения, копирования.	uk
dc.publisher	Політехніка	uk
Appears in Collections:	Системні дослідження та інформаційні технології: науково-технічний журнал, № 2