Показати простий запис статті
dc.contributor.author |
Сапунов, С.В. |
|
dc.date.accessioned |
2017-09-13T09:54:01Z |
|
dc.date.available |
2017-09-13T09:54:01Z |
|
dc.date.issued |
2009 |
|
dc.identifier.citation |
Контрольные эксперименты для бесконечных классов помеченных графов / С.В. Сапунов // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 214-224. — Бібліогр.: 12 назв. — рос. |
uk_UA |
dc.identifier.issn |
1683-4720 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/123918 |
|
dc.description.abstract |
Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющих соотношений для конечного автомата, и способа проверки наличия/отсутствия соответствующих множеств путей на графе, требующего одну дополнительную метку (камень). Найдены критерии, при которых произвольная пара множеств слов является определяющей парой некоторого помеченного графа. |
uk_UA |
dc.language.iso |
ru |
uk_UA |
dc.publisher |
Інститут прикладної математики і механіки НАН України |
uk_UA |
dc.relation.ispartof |
Труды Института прикладной математики и механики |
|
dc.title |
Контрольные эксперименты для бесконечных классов помеченных графов |
uk_UA |
dc.type |
Article |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
519.7 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті