Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Подловченко Р. И. (2009)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000467729
  Кибернетика и системный анализ      А - 2019  /     Випуск (2009, Т. 45, № 5)

Подловченко Р. И.
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ

Розглянуто алгебричні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для вирішення проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів у ході вирішення в них проблеми еквівалентності.

Бібліографічний опис:
Подловченко Р. И.  Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ. Кибернетика и системный анализ. 2009. Т. 45, № 5. С. 25-37. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000467729

English  Cybernetics and Systems Analysis   /     Issue (2009, 45 (5))

translit Transliteration

Podlovchenko R. I.
Tekhnika sledov v razreshenii problemy ekvivalentnosti v algebraicheskikh modeljakh programm

Cite:
Podlovchenko, R. I. (2009). Tekhnika sledov v razreshenii problemy ekvivalentnosti v algebraicheskikh modeljakh programm. Cybernetics and Systems Analysis, 45 (5), 25-37 http://jnas.nbuv.gov.ua/article/UJRN-0000467729 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна