К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ
|
|
| Creator |
Подловченко, Р.И.
|
|
| Subject |
Кибернетика
|
|
| Description |
Розглянуто алгебраїчні моделі програм, для яких встановлено розв’язність проблеми еквівалентності. Запропоновано новий алгоритм, що допускає еквівалентність в цих моделях і походить з відомого алгоритму Мура для кінцевих автоматів. Описано клас моделей, для яких запропонований алгоритм модифікується в алгоритм поліноміальної складності.
Algebraic models of programs for which the decidability of equivalence checking problem was proved are considered. A new equivalence checking algorithm stemmed from the well-known Moore’s technique for finite state automata is introduced. It is shown that for some subclasses of models this algorithm reduces to a polynomial-time equivalence checking procedure. |
|
| Date |
2015-07-03T09:58:45Z
2015-07-03T09:58:45Z 2012 |
|
| Type |
Article
|
|
| Identifier |
К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2012. — Т. 48, № 5. — С. 17-24. — Бібліогр.: 1 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/84140 519.71 |
|
| Language |
ru
|
|
| Relation |
Кибернетика и системный анализ
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|