Проверка эквивалентности программ с помощью двухленточных автоматов
Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2010 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/45242 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Проверка эквивалентности программ с помощью двухленточных автоматов / В.А. Захаров // Кибернетика и системный анализ. — 2010. — № 4. — С. 39-48. — Бібліогр.: 44 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862591050933075968 |
|---|---|
| author | Захаров, В.А. |
| author_facet | Захаров, В.А. |
| citation_txt | Проверка эквивалентности программ с помощью двухленточных автоматов / В.А. Захаров // Кибернетика и системный анализ. — 2010. — № 4. — С. 39-48. — Бібліогр.: 44 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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).
|
| first_indexed | 2025-11-27T06:25:54Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-45242 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-27T06:25:54Z |
| publishDate | 2010 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Захаров, В.А. 2013-06-10T16:19:33Z 2013-06-10T16:19:33Z 2010 Проверка эквивалентности программ с помощью двухленточных автоматов / В.А. Захаров // Кибернетика и системный анализ. — 2010. — № 4. — С. 39-48. — Бібліогр.: 44 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45242 519.71 Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться до задачі перевірки порожнистості двострічкових автоматів (комбінованих машин). 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). ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Проверка эквивалентности программ с помощью двухленточных автоматов Перевірка еквівалентності програм за допомогою двострічкових автоматів Program equivalence checking by two-tape automata Article published earlier |
| spellingShingle | Проверка эквивалентности программ с помощью двухленточных автоматов Захаров, В.А. Кибернетика |
| title | Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_alt | Перевірка еквівалентності програм за допомогою двострічкових автоматів Program equivalence checking by two-tape automata |
| title_full | Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_fullStr | Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_full_unstemmed | Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_short | Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_sort | проверка эквивалентности программ с помощью двухленточных автоматов |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/45242 |
| work_keys_str_mv | AT zaharovva proverkaékvivalentnostiprogrammspomoŝʹûdvuhlentočnyhavtomatov AT zaharovva perevírkaekvívalentnostíprogramzadopomogoûdvostríčkovihavtomatív AT zaharovva programequivalencecheckingbytwotapeautomata |