Cover Image

Інгібіторна мережа Петрі, яка виконує довільну задану машину Тюрінга

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...

Full description

Saved in:

Bibliographic Details
Date:	2012
Main Author:	Zaitsev, D. A.
Format:	Article
Language:	Russian
Published:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2012
Online Access:	http://journal.iasa.kpi.ua/article/view/71925
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	System research and information technologies

Institution

System research and information technologies

Similar Items

Моделювання Grid-вузла на основі мереж Петрі
by: Shelestov, A. Yu.
Published: (2009)

Застосування мереж Петрі для аналізу КВ-граматик
by: Spectorsky, I. Ya.
Published: (2011)

Модифікація мереж Петрі з антисипацією по позиції
by: Statkevych, Vitalii
Published: (2023)

Зв’язок мереж Петрі з бездужковим польським записом
by: Statkevich, Vitaly M.
Published: (2016)

Моделювання подій в відеопотоці за допомогою стохастичних мереж Петрі
by: Антощук, С. Г., et al.
Published: (2014)

ПРИСТРІЙ ДЛЯ КОРИГУВАННЯ ФОРМИ НАПРУГИ МЕРЕЖІ, ЯКА ЖИВИТЬ ПОТУЖНИЙ КЕРОВАНИЙ ВИПРЯМЛЯЧ
by: Чиженко, О.І., et al.
Published: (2022)

СПОСІБ ПОКРАЩЕННЯ ЯКОСТІ СТРУМУ СИСТЕМИ МЕРЕЖА - ТИРИСТОРНИЙ КОМПЕНСАТОР РЕАКТИВНОЇ ПОТУЖНОСТІ
by: Чиженко, О.І., et al.
Published: (2017)

КЕРУВАННЯ ПЕРЕТВОРЮВАЧАМИ ВІДНОВЛЮВАНИХ ДЖЕРЕЛ ЕНЕРГІЇ В РЕЖИМІ «МЕРЕЖА-ВЕДУЧИЙ/ВЕДЕНИЙ»
by: Агамалов, О.
Published: (2021)

Проблеми збереження різноманітності степової біоти Криму і національна екологічна мережа
by: Korzhenevsky, V.V., et al.
Published: (2001)

Гібридна згорткова мережа для оброблення медичних зображень та виявлення раку молочної залози
by: Zaychenko, Yuriy, et al.
Published: (2022)

Гібридна згорткова мережа для обробки зображень рентгенівських знімків для виявлення захворювання COVID-19
by: Федорченко , Є. М., et al.
Published: (2022)

ПРИСТРОЇ КОРИГУВАННЯ ФОРМИ НАПРУГИ МЕРЕЖІ, ЯКА ЖИВИТЬ НАПІВПРОВІДНИКОВИЙ КЕРОВАНИЙ ВЕНТИЛЬНИЙ ВИПРЯМЛЯЧ ЗІСТАВНОЇ З МЕРЕЖЕЮ ПОТУЖНОСТІ
by: Чиженко, O.І.
Published: (2024)

МОДЕЛЮВАННЯ АНІЗОТРОПІЇ ПИТОМОЇ ЕЛЕКТРОПРОВІДНОСТІ БІОЛОГІЧНОЇ ТКАНИНИ, ЯКА ВИНИКАЄ ЗА ЛОКАЛЬНОГО СТИСКАННЯ ЕЛЕКТРОДАМИ ДЛЯ БІПОЛЯРНОГО ЗВАРЮВАННЯ
by: Ланкін, Ю.М., et al.
Published: (2021)

Регулярні вирази для деяких мов мереж Петрі в задачі про постачальника та споживача
by: Statkevych, Vitalii M.
Published: (2020)

Вплив температури на кінетичні залежності утворення нанорозмірних частинок на поверхні сталі, яка контактує з водним дисперсійним середовищем
by: Lavrynenko, O. M., et al.
Published: (2011)

Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій
by: Statkevych, Vitalii
Published: (2024)

Операція різниці для регулярних мов мереж Петрі в задачі про постачальника та споживача з обмеженим буфером
by: Statkevych, Vitalii
Published: (2021)

Міжнародна мережа AgroBioNet у реалізації наукової програми «Агробіорізноманіття для поліпшення харчування, здоров’я та якості життя»
by: Klymenko, S. V., et al.
Published: (2021)

АНАЛІЗ ПЕРЕХІДНИХ ТА СТАЦІОНАРНИХ РЕЖИМІВ У СИСТЕМІ ЖИВЛЕННЯ ЕЛЕКТРОМОБІЛЬНИХ ТРАНСПОРТНИХ ЗАСОБІВ, ЯКА МІСТИТЬ АКУМУЛЯТОРНУ БАТАРЕЮ ТА СУПЕРКОНДЕНСАТОРИ, З'ЄДНАНІ ПАРАЛЕЛЬНО
by: Щерба, А.А., et al.
Published: (2025)

Багатошарова МГУА-нейро-фаззі мережа на основі розширених нечітких нейронів та її використання для онлайн разпізнавання виразів обличчя
by: Bodyanskiy, Yevgeniy V., et al.
Published: (2020)

Послідовна композиція кланів лінійних систем
by: Zaitsev, D. A.
Published: (2019)

Вирішення лінійних систем за допомогою декомпозиції
by: Zaitsev, D. A.
Published: (2019)

The heat transfer processes in the heat exchange unit of combined photoenergy system
by: Zaitsev, R.
Published: (2017)

MODELING OF AN ADVANCED HEAT EXCHANGE UNIT WITH MICROCHANNELS FOR A COMBINED PHOTOENERGY SYSTEM
by: Zaitsev, R. V.
Published: (2017)

Computational studies of electromagnetic field propagation and deforming of structural elements for a thin-walled curved workpiece and an inductor
by: Lavinsky, D. V., et al.
Published: (2024)

Computational analysis method of the electromagnetic field propagation and deformation of conductive bodies
by: Lavinsky, D. V., et al.
Published: (2023)

Influence of operating temperature on efficiency Chinese made silicon solar cells
by: Zaitsev, R., et al.
Published: (2017)

ПІДХОДИ ДО ЗАБЕЗПЕЧЕННЯ ЕФЕКТИВНОЇ ОРГАНІЗАЦІЇ ПРАЦІ РОБІТНИКІВ-ВЕРСТАТНИКІВ НА МАШИНОБУДІВНОМУ ПІДПРИЄМСТВІ
by: Vasylenko, V.M., et al.
Published: (2014)

HALF-DIFFERENTIAL CAPACITIVE AIR GAP SENSOR FOR HYDROGENERATORS
by: Levytskyi , A., et al.
Published: (2024)

SYSTEM FOR MONITORING AND CONTROL OF OPERATING PARAMETERS OF ELECTROLYSIS UNITS FOR THE PRODUCTION OF PINK HYDROGEN AT NPPS OF UKRAINE
by: Kromplyas, B., et al.
Published: (2025)

Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
by: Horlynskyi, Borys V., et al.
Published: (2019)

Methodological scheme for ranking interval expert estimates of the territories hydrocarbon potential
by: Popov, Mykhailo, et al.
Published: (2019)

Хімічне модифікування поверхні поруватого кремнію групами поліоксіетильованих спиртів
by: Suvorova, A. O., et al.
Published: (2011)

High efficiency power take-off system for the photovoltaic energy station
by: Zaitsev, R., et al.
Published: (2016)

Use of In-house Design Modules When Choosing Bearing Assemblies for Pumps Being Designed
by: Rudenko, Andrii A., et al.
Published: (2020)

Use of In-house Design Modules When Choosing Bearing Assemblies for Pumps Being Designed
by: Rudenko, Andrii A., et al.
Published: (2020)

Seismicity in the area of the electrical conductivity anomaly in the western part of the Priazovsky megablock
by: Burakhovich, T. K., et al.
Published: (2010)

UX research methods and strategies in the development of interactive interfaces
by: Kostiuk, Anton, et al.
Published: (2025)

Дослідження локального оточення амінодифосфонової кислоти на поверхні ковалентно модифікованого діоксиду кремнію методами РФЕC та 31Р ЯМР спектроскопії
by: Kostenko, L. S., et al.
Published: (2016)

Сорбція гетерополікислот на целюлозних сорбентах
by: Zui, O. V., et al.
Published: (2012)