Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
Построена ингибиторная сеть Петри с фиксированной структурой, которая исполняет произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10 выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в...
Saved in:
| Published in: | Системні дослідження та інформаційні технології |
|---|---|
| Date: | 2012 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/50161 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга / Д.А. Зайцев // Систем. дослідж. та інформ. технології. — 2012. — № 2. — С. 26-41. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862574269517529088 |
|---|---|
| author | Зайцев, Д.А. |
| author_facet | Зайцев, Д.А. |
| citation_txt | Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга / Д.А. Зайцев // Систем. дослідж. та інформ. технології. — 2012. — № 2. — С. 26-41. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Системні дослідження та інформаційні технології |
| 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.
|
| first_indexed | 2025-11-26T09:19:09Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-50161 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1681–6048 |
| language | Russian |
| last_indexed | 2025-11-26T09:19:09Z |
| publishDate | 2012 |
| publisher | Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
| record_format | dspace |
| spelling | Зайцев, Д.А. 2013-10-06T13:49:55Z 2013-10-06T13:49:55Z 2012 Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга / Д.А. Зайцев // Систем. дослідж. та інформ. технології. — 2012. — № 2. — С. 26-41. — Бібліогр.: 12 назв. — рос. 1681–6048 https://nasplib.isofts.kiev.ua/handle/123456789/50161 519.74 Построена ингибиторная сеть Петри с фиксированной структурой, которая исполняет произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 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. ru Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України Системні дослідження та інформаційні технології Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга Inhibitor Petri Net, which performs any given Turing machine Article published earlier |
| spellingShingle | Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга Зайцев, Д.А. Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| title | Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга |
| title_alt | Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга Inhibitor Petri Net, which performs any given Turing machine |
| title_full | Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга |
| title_fullStr | Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга |
| title_full_unstemmed | Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга |
| title_short | Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга |
| title_sort | ингибиторная сеть петри, исполняющая произвольную заданную машину тьюринга |
| topic | Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| topic_facet | Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/50161 |
| work_keys_str_mv | AT zaicevda ingibitornaâsetʹpetriispolnâûŝaâproizvolʹnuûzadannuûmašinutʹûringa AT zaicevda íngíbítornamerežapetríâkavikonuêdovílʹnuzadanumašinutûrínga AT zaicevda inhibitorpetrinetwhichperformsanygiventuringmachine |