Проверка эквивалентности программ с помощью двухленточных автоматов
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Проверка эквивалентности программ с помощью двухленточных автоматов
|
|
Creator |
Захаров, В.А.
|
|
Subject |
Кибернетика
|
|
Description |
Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться до задачі перевірки порожнистості двострічкових автоматів (комбінованих машин).
This paper shows how two-tape automata can be employed to design efficient equivalence checking procedures for sequential programs. The semantics of sequential programs is defined in terms of dynamic logic structures. If the dynamic frame is acyclic (i.e., all program statements are irreversible), it can be specified by means of a two-tape deterministic automaton. Then the equivalence checking problem for sequential programs operating on the dynamic frame can be reduced to the emptiness problem for two-tape automata (compound machine). |
|
Date |
2013-06-10T16:19:33Z
2013-06-10T16:19:33Z 2010 |
|
Type |
Article
|
|
Identifier |
Проверка эквивалентности программ с помощью двухленточных автоматов / В.А. Захаров // Кибернетика и системный анализ. — 2010. — № 4. — С. 39-48. — Бібліогр.: 44 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45242 519.71 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|