2025-02-22T23:56:15-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-50161%22&qt=morelikethis&rows=5
2025-02-22T23:56:15-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-50161%22&qt=morelikethis&rows=5
2025-02-22T23:56:15-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T23:56:15-05:00 DEBUG: Deserialized SOLR response
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга

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

Построена ингибиторная сеть Петри с фиксированной структурой, которая исполняет произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10 выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в...

Full description

Saved in:
Bibliographic Details
Main Author: Зайцев, Д.А.
Format: Article
Language:Russian
Published: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2012
Series:Системні дослідження та інформаційні технології
Subjects:
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/50161
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://dspace.nbuv.gov.ua/handle/123456789/50161

Similar Items