Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів при розв’язанні...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2009 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/44398 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2009. — № 5. — С. 25-37. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-44398 |
|---|---|
| record_format |
dspace |
| spelling |
Подловченко, Р.И. 2013-06-01T08:05:20Z 2013-06-01T08:05:20Z 2009 Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2009. — № 5. — С. 25-37. — Бібліогр.: 9 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/44398 519.1 Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів при розв’язанні в них проблеми еквівалентності. Algebraic models of sequential programs without procedures are considered. The question of applicability of the technique of traces to equivalence checking problems for such models is investigated. Models called balanced left-cancellative semigroups are singled out for which the technique of traces provides an effective decision procedure. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ Техніка слідів у розв’язанні проблеми еквівалентності в алгебраїчних моделях програм Technique of traces in solving equivalence problems in algebraic models of programs Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| spellingShingle |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ Подловченко, Р.И. Кибернетика |
| title_short |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_full |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_fullStr |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_full_unstemmed |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_sort |
техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| author |
Подловченко, Р.И. |
| author_facet |
Подловченко, Р.И. |
| topic |
Кибернетика |
| topic_facet |
Кибернетика |
| publishDate |
2009 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Техніка слідів у розв’язанні проблеми еквівалентності в алгебраїчних моделях програм Technique of traces in solving equivalence problems in algebraic models of programs |
| description |
Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів при розв’язанні в них проблеми еквівалентності.
Algebraic models of sequential programs without procedures are considered. The question of applicability of the technique of traces to equivalence checking problems for such models is investigated. Models called balanced left-cancellative semigroups are singled out for which the technique of traces provides an effective decision procedure.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/44398 |
| citation_txt |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2009. — № 5. — С. 25-37. — Бібліогр.: 9 назв. — рос. |
| work_keys_str_mv |
AT podlovčenkori tehnikasledovvrazrešeniiproblemyékvivalentnostivalgebraičeskihmodelâhprogramm AT podlovčenkori tehníkaslídívurozvâzanníproblemiekvívalentnostívalgebraíčnihmodelâhprogram AT podlovčenkori techniqueoftracesinsolvingequivalenceproblemsinalgebraicmodelsofprograms |
| first_indexed |
2025-12-07T13:40:16Z |
| last_indexed |
2025-12-07T13:40:16Z |
| _version_ |
1850857034146119680 |