Проверка эквивалентности программ с помощью двухленточных автоматов / Захаров В. А. (2010)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000468190
  Cybernetics and Systems Analysis      А - 2019  /     Issue (2010, Т. 46, № 4)

Захаров В. А.
Проверка эквивалентности программ с помощью двухленточных автоматов

Семантика послідовних програм визначено на базі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться до задачі перевірки порожнистості двострічкових автоматів (комбінованих машин).

Бібліографічний опис:
Захаров В. А.  Проверка эквивалентности программ с помощью двухленточных автоматов. Кибернетика и системный анализ. 2010. Т. 46, № 4. С. 39-48. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000468190

English  Cybernetics and Systems Analysis   /     Issue (2010, 46 (4))

translit Transliteration

Zakharov V. A.
Proverka ekvivalentnosti programm s pomoshchju dvukhlentochnykh avtomatov

Cite:
Zakharov, V. A. (2010). Proverka ekvivalentnosti programm s pomoshchju dvukhlentochnykh avtomatov. Cybernetics and Systems Analysis, 46 (4), 39-48 http://jnas.nbuv.gov.ua/article/UJRN-0000468190 [In Russian].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209