Зведений каталог бібліотек Харкова
Захаров, В. А. Проверка эквивалентности программ с помощью двухленточных автоматов [Текст] / Московский государственный универсиет им.М.В.Ломоносова, г.Москва, Россия // Кибернетика и системный анализ. — 2010. — №4. — С. 39-48.
- Анотація:
Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом.
- Є складовою частиною документа:
Кибернетика и системный анализ [Текст]. — 2010. — №4.
- Теми документа
