2025-02-23T17:31:13-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-45242%22&qt=morelikethis&rows=5
2025-02-23T17:31:13-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-45242%22&qt=morelikethis&rows=5
2025-02-23T17:31:13-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T17:31:13-05:00 DEBUG: Deserialized SOLR response
Проверка эквивалентности программ с помощью двухленточных автоматов
Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Series: | Кибернетика и системный анализ |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/45242 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-45242 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-452422013-06-11T03:09:03Z Проверка эквивалентности программ с помощью двухленточных автоматов Захаров, В.А. Кибернетика Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться до задачі перевірки порожнистості двострічкових автоматів (комбінованих машин). 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). 2010 Article Проверка эквивалентности программ с помощью двухленточных автоматов / В.А. Захаров // Кибернетика и системный анализ. — 2010. — № 4. — С. 39-48. — Бібліогр.: 44 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45242 519.71 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кибернетика Кибернетика |
| spellingShingle |
Кибернетика Кибернетика Захаров, В.А. Проверка эквивалентности программ с помощью двухленточных автоматов Кибернетика и системный анализ |
| description |
Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться до задачі перевірки порожнистості двострічкових автоматів (комбінованих машин). |
| format |
Article |
| author |
Захаров, В.А. |
| author_facet |
Захаров, В.А. |
| author_sort |
Захаров, В.А. |
| title |
Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_short |
Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_full |
Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_fullStr |
Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_full_unstemmed |
Проверка эквивалентности программ с помощью двухленточных автоматов |
| title_sort |
проверка эквивалентности программ с помощью двухленточных автоматов |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2010 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/45242 |
| citation_txt |
Проверка эквивалентности программ с помощью двухленточных автоматов / В.А. Захаров // Кибернетика и системный анализ. — 2010. — № 4. — С. 39-48. — Бібліогр.: 44 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT zaharovva proverkaékvivalentnostiprogrammspomoŝʹûdvuhlentočnyhavtomatov |
| first_indexed |
2023-10-18T18:02:12Z |
| last_indexed |
2023-10-18T18:02:12Z |
| _version_ |
1796143149407535104 |