Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів при розв’язанні...
Збережено в:
| Дата: | 2009 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/44398 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2009. — № 5. — С. 25-37. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-44398 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-443982013-06-02T03:02:45Z Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ Подловченко, Р.И. Кибернетика Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів при розв’язанні в них проблеми еквівалентності. 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. 2009 Article Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2009. — № 5. — С. 25-37. — Бібліогр.: 9 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/44398 519.1 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кибернетика Кибернетика |
| spellingShingle |
Кибернетика Кибернетика Подловченко, Р.И. Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ Кибернетика и системный анализ |
| description |
Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів при розв’язанні в них проблеми еквівалентності. |
| format |
Article |
| author |
Подловченко, Р.И. |
| author_facet |
Подловченко, Р.И. |
| author_sort |
Подловченко, Р.И. |
| title |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_short |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_full |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_fullStr |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_full_unstemmed |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| title_sort |
техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2009 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/44398 |
| citation_txt |
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2009. — № 5. — С. 25-37. — Бібліогр.: 9 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT podlovčenkori tehnikasledovvrazrešeniiproblemyékvivalentnostivalgebraičeskihmodelâhprogramm |
| first_indexed |
2023-10-18T18:00:17Z |
| last_indexed |
2023-10-18T18:00:17Z |
| _version_ |
1796143064618631168 |