Зображення обкладинки

Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ

Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв’язання проблеми еквівалентності в таких моделях. Виділено моделі, що названі зрівноваженими півгрупами з лівим скороченням, до яких дійсно застосовна техніка слідів при розв’язанні...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2009
Автор:	Подловченко, Р.И.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/44398
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2009. — № 5. — С. 25-37. — Бібліогр.: 9 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Проверка эквивалентности программ с помощью двухленточных автоматов
за авторством: Захаров, В.А.
Опубліковано: (2010)

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

Дискретные эффекты в непрерывных моделях сукцессионных процесов
за авторством: Чернышенко, С.В., та інші
Опубліковано: (2015)

Проблемы трансдисциплинарности и роль информатики
за авторством: Палагин, А.В.
Опубліковано: (2013)

Роль интеллигенции в разрешении антропологического кризиса: постнеклассический взгляд
за авторством: Телиженко, Л.В.
Опубліковано: (2008)

Клетковые алгоритмы для систем линейных алгебраических уравнений с блочными элементами в моделях В. Леонтьева
за авторством: Семчишин, Л.М.
Опубліковано: (2009)

Помехоустойчивый алгоритм решения проблемы нечеткой кластеризации на базе метода нечетких связанных точек
за авторством: Насибов, Э.Н.
Опубліковано: (2008)

Некоторые проблемы терминологической эквивалентности в области ядерной и радиационной безопасности
за авторством: Шевцов, К.М., та інші
Опубліковано: (2009)

Информационная технология формирования программ психологического сопровождения учащихся на основе оценки их психофизиологического состояния
за авторством: Козак, Л.М., та інші
Опубліковано: (2012)

Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
за авторством: Левитская, А.А.
Опубліковано: (2010)

Сорбционно-хемилюминесцентное определение следов мышьяка в водах
за авторством: Зуй, О.В.
Опубліковано: (2007)

Техника и человек: проблемы и решения
за авторством: Ожелевская, Т.С., та інші
Опубліковано: (1999)

Роль интеллигенции в разрешении антропологического кризиса современности и обеспечении устойчивого развития общества
за авторством: Плаксина, О.И.
Опубліковано: (2008)

Финитные представления в алгебраических системах
за авторством: Грунский, И.С., та інші
Опубліковано: (2011)

Операционное формирование кодов состояний в микропрограммных автоматах
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)

Определение следов нефти в природной воде и прибрежном песке
за авторством: Кричмар, С.И., та інші
Опубліковано: (2011)

Дискретные совершенные множества и их применение в кластерном анализе
за авторством: Агаян, С.М., та інші
Опубліковано: (2014)

О скорости сходимости в асимптотическом разложении для эргодического распределения полумарковской модели управления типа (s, S)
за авторством: Алиев, Р.Т., та інші
Опубліковано: (2012)

Человек и техника: аспекты философского осмысления проблемы
за авторством: Лозовая, Л.В.
Опубліковано: (2010)

Аппроксимация гауссовских базисных функций в задаче адаптивного управления нелинейными объектами
за авторством: Руденко, О.Г., та інші
Опубліковано: (2011)

Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах
за авторством: Белан, С.Н., та інші
Опубліковано: (2013)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

Оценка вклада немонотонных траекторий в отказ системы обслуживания на периоде занятости
за авторством: Коваленко, И.Н., та інші
Опубліковано: (2011)

Смысл текста как объект лингвистической экспертизы при разрешении информационного конфликта
за авторством: Иваненко, Г.С.
Опубліковано: (2006)

Планиграфия следов утилизации охотничьей добычи на Амвросиевском костище
за авторством: Снежко, И.А.
Опубліковано: (2000)

Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
за авторством: Глибовец, А.Н., та інші
Опубліковано: (2014)

Вхождения в моноидах треков
за авторством: Шахбазян, К.В., та інші
Опубліковано: (2010)

Теоремы единственности для алгебраических функций, учитывающие число алгебраических элементов
за авторством: Гольдберг, А.А.
Опубліковано: (1995)

Конечные автоматы в информационных технологиях
за авторством: Крывый, С.Л.
Опубліковано: (2011)

Алгоритм декомпозиции геометрических объектов в 2D-задачах упаковки и раскроя
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2011)

О некоторых научных результатах Ю. М. Ермольева и его школы в области современной теории оптимизации
за авторством: Кнопов, П.С., та інші
Опубліковано: (2011)

Представление чисел в двухбазисных системах счисления
за авторством: Анисимов, А.В.
Опубліковано: (2013)

Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2009)

Построение экспоненциальной оценки в компартментной системе с распределенными запаздываниями: подход на основе неравенства Хейла–Лунелла
за авторством: Марценюк, В.П., та інші
Опубліковано: (2013)

Эквивалентность регулярных выражений в частично коммутативном алфавите
за авторством: Шукурян, А.С.
Опубліковано: (2009)

Формирование минимальных d-сепараторов в системе зависимостей
за авторством: Балабанов, А.С.
Опубліковано: (2009)

Построение гамильтонова пути в графах перестановочных многогранников
за авторством: Донец, Г.А., та інші
Опубліковано: (2010)

Согласование спецификаций автоматов, представленных в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

Генерация символьных трасс в системе инсерционного моделирования
за авторством: Летичевский, А.А., та інші
Опубліковано: (2015)