Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>AT=Зайцев Ингибиторная сеть Петри, исполняющая$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Зайцев Д.А. Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга [Електронний ресурс] / Д.А. Зайцев // Системні дослідження та інформаційні технології. - 2012. - № 2. - С. 26-41. - Режим доступу: http://nbuv.gov.ua/UJRN/sdtit_2012_2_4 Построена ингибиторная сеть Петри с фиксированной структурой, исполняющая произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10-ти выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в сети Петри, скомпонованной из операторов последовательности, ветвления, цикла. Использованы подсети, реализующие операции арифметики, сравнения, копирования. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |