Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів при розв’язанні...
Збережено в:
Видавець: | Інститут кібернетики ім. В.М. Глушкова НАН України |
---|---|
Дата: | 2009 |
Автор: | Подловченко, Р.И. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
Назва видання: | Кибернетика и системный анализ |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/44398 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2009. — № 5. — С. 25-37. — Бібліогр.: 9 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ
за авторством: Подловченко, Р.И.
Опубліковано: (2012) -
Проверка эквивалентности программ с помощью двухленточных автоматов
за авторством: Захаров, В.А.
Опубліковано: (2010) -
Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013) -
Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014) -
Дискретные эффекты в непрерывных моделях сукцессионных процесов
за авторством: Чернышенко, С.В., та інші
Опубліковано: (2015)