Наукова періодика України Кібернетика та системний аналіз

Захаров В. А. 
Проверка эквивалентности программ с помощью двухленточных автоматов / В. А. Захаров // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 39-48. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_5
Семантика послідовних програм визначено на базі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться до задачі перевірки порожнистості двострічкових автоматів (комбінованих машин).
  Повний текст PDF - 129.814 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Захаров В.

    • Бібліографічний опис для цитування:

    Захаров В. А. Проверка эквивалентности программ с помощью двухленточных автоматов / В. А. Захаров // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 39-48. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_5.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського