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

Проверка эквивалентности программ с помощью двухленточных автоматов

Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом. У такому разі перевірки еквівалентності програм, семантика операторів яких визначається ациклічними динамічними шкалами, зводиться...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
за авторством: Подловченко, Р.И.
Опубліковано: (2009)

Согласование взаимодействующих автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2015)

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

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

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

О сложности анализа автоматов над конечным кольцом
за авторством: Скобелев, В.В., та інші
Опубліковано: (2010)

О некоторых множествах автоматов над конечным кольцом
за авторством: Скобелев, В.Г.
Опубліковано: (2011)

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

Анализ структуры класса линейных автоматов над кольцом Zpk
за авторством: Скобелев, В.В.
Опубліковано: (2008)

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

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

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

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

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

Многомерное ранжирование с помощью эллиптического пилинга
за авторством: Ляшко, С.И., та інші
Опубліковано: (2013)

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

Помехоустойчивое префиксное кодирование с помощью нижнего (2,3)-представления чисел
за авторством: Анисимов, А.В., та інші
Опубліковано: (2014)

Исследование ускоренного поиска близких текстовых последовательностей с помощью векторных представлений
за авторством: Соколов, А.М.
Опубліковано: (2008)

Робастная идентификация нелинейных объектов с помощью эволюционирующей радиально-базисной сети
за авторством: Руденко, О.Г., та інші
Опубліковано: (2013)

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

Робастная диссипативность дискретных систем и ее исследование с помощью последовательности множеств функций Ляпунова
за авторством: Лычак, М.М.
Опубліковано: (2008)

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

Проверка многих гипотез с помощью оптимальной расширенной нерандомизированной процедуры
за авторством: Коваль, В.Н., та інші
Опубліковано: (1997)

Сегментация изображений на основе оценивания тенденции к формированию кластеров элементами изображения с помощью характеристик точечного поля
за авторством: Косаревич, Р.Я., та інші
Опубліковано: (2015)

Проверка нескольких гипотез с помощью оптимальных статистических критериев. II
за авторством: Кук, Ю.В., та інші
Опубліковано: (1994)

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

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

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

Конструирование интегральных показателей количественных признаков с помощью одномерных и многомерных методов статистики
за авторством: Антомонов, М.Ю., та інші
Опубліковано: (2012)

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

Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2012)

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

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

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

Информационно-экстремальный метод классификации наблюдений с категориальными признаками
за авторством: Довбыш, А.С., та інші
Опубліковано: (2016)

Новые средства альтернативной коммуникации для людей с ограниченными возможностями
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2016)

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

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

Вероятностная модель взаимодействия агента с сетевой средой
за авторством: Скобелев, В.Г.
Опубліковано: (2015)

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