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

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000468190
  Кибернетика и системный анализ      А - 2019  /     Випуск (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].

 

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

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