Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга
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...
Gespeichert in:
| Datum: | 2012 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2012
|
| Online Zugang: | http://journal.iasa.kpi.ua/article/view/71925 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | System research and information technologies |
Institution
System research and information technologies| _version_ | 1856543190586228736 |
|---|---|
| author | Zaitsev, D. A. |
| author_facet | Zaitsev, D. A. |
| author_sort | Zaitsev, D. A. |
| baseUrl_str | |
| collection | OJS |
| datestamp_date | 2018-03-30T15:05:06Z |
| description | 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-07-17T10:20:19Z |
| format | Article |
| id | journaliasakpiua-article-71925 |
| institution | System research and information technologies |
| language | Russian |
| last_indexed | 2025-07-17T10:20:19Z |
| publishDate | 2012 |
| publisher | The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| record_format | ojs |
| spelling | journaliasakpiua-article-719252018-03-30T15:05:06Z Inhibitor Petri Net, which performs any given Turing machine Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга Zaitsev, D. A. 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. Построена ингибиторная сеть Петри с фиксированной структурой, которая исполняет произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10 выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в сети Петри, скомпонованной из операторов последовательности, ветвления, цикла. Использованы подсети, реализующие операции арифметики, сравнения, копирования. Побудовано інгібіторну мережу Петрі з фіксованою структурою, яка виконує довільну задану машину Тюрінга. Стрічка машини Тюрінга, її програма та стани зашифровані маркуванням 10-ти виділених позицій мережі Петрі. Правила роботи машини Тюрінга закодовано одиночним потоком управління в мережі Петрі, яка скомпонована із операторів послідовності, розгалуження, циклу. Використано під-мережі, що реалізують операції арифметики, порівняння, копіювання. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2012-06-27 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/71925 System research and information technologies; No. 2 (2012); 26-41 Системные исследования и информационные технологии; № 2 (2012); 26-41 Системні дослідження та інформаційні технології; № 2 (2012); 26-41 2308-8893 1681-6048 ru http://journal.iasa.kpi.ua/article/view/71925/66902 Copyright (c) 2021 System research and information technologies |
| spellingShingle | Zaitsev, D. A. Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга |
| title | Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга |
| title_alt | Inhibitor Petri Net, which performs any given Turing machine Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга |
| title_full | Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга |
| title_fullStr | Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга |
| title_full_unstemmed | Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга |
| title_short | Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга |
| title_sort | інгібіторна мережа петрі, яка виконує довільну задану машину тюрінга |
| url | http://journal.iasa.kpi.ua/article/view/71925 |
| work_keys_str_mv | AT zaitsevda inhibitorpetrinetwhichperformsanygiventuringmachine AT zaitsevda ingibitornaâsetʹpetriispolnâûŝaâproizvolʹnuûzadannuûmašinutʹûringa AT zaitsevda íngíbítornamerežapetríâkavikonuêdovílʹnuzadanumašinutûrínga |