Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
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

Ähnliche Einträge

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

Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)

Эквивалентность двумерных многоленточных автоматов
von: Григорян, А.А., et al.
Veröffentlicht: (2008)

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
von: Борисенко, В.И.
Veröffentlicht: (2015)

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

О сложности анализа автоматов над конечным кольцом
von: Скобелев, В.В., et al.
Veröffentlicht: (2010)

О некоторых множествах автоматов над конечным кольцом
von: Скобелев, В.Г.
Veröffentlicht: (2011)

Помехоустойчивые коды переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

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

О двух типах нелинейных автоматов над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2009)

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

Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Многомерное ранжирование с помощью эллиптического пилинга
von: Ляшко, С.И., et al.
Veröffentlicht: (2013)

Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
von: Башкин, В.А., et al.
Veröffentlicht: (2011)

Помехоустойчивое префиксное кодирование с помощью нижнего (2,3)-представления чисел
von: Анисимов, А.В., et al.
Veröffentlicht: (2014)

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

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

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

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

Анализ влияния глобальных угроз на устойчивое развитие стран и регионов мира с помощью байесовских сетей доверия
von: Згуровский, М.З., et al.
Veröffentlicht: (2010)

Проверка многих гипотез с помощью оптимальной расширенной нерандомизированной процедуры
von: Коваль, В.Н., et al.
Veröffentlicht: (1997)

Сегментация изображений на основе оценивания тенденции к формированию кластеров элементами изображения с помощью характеристик точечного поля
von: Косаревич, Р.Я., et al.
Veröffentlicht: (2015)

Проверка нескольких гипотез с помощью оптимальных статистических критериев. II
von: Кук, Ю.В., et al.
Veröffentlicht: (1994)

Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах
von: Белан, С.Н., et al.
Veröffentlicht: (2013)

Повышение эффективности сверточных помехоустойчивых кодов с помощью конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

Информационная технология формирования программ психологического сопровождения учащихся на основе оценки их психофизиологического состояния
von: Козак, Л.М., et al.
Veröffentlicht: (2012)

Конструирование интегральных показателей количественных признаков с помощью одномерных и многомерных методов статистики
von: Антомонов, М.Ю., et al.
Veröffentlicht: (2012)

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

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

Задачи оптимизации на графах с интервальными параметрами
von: Перепелица, В.А., et al.
Veröffentlicht: (2009)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
von: Антонюк, С.В., et al.
Veröffentlicht: (2013)

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

Новые средства альтернативной коммуникации для людей с ограниченными возможностями
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2016)

Формальные методы анализа дискретных систем с использованием языка спецификаций
von: Крывый, С.Л., et al.
Veröffentlicht: (2009)

Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2016)

Вероятностная модель взаимодействия агента с сетевой средой
von: Скобелев, В.Г.
Veröffentlicht: (2015)

Алгоритмы генерации базовой точки кривой Эдвардса с использованием критериев делимости точки
von: Ковальчук, Л.В., et al.
Veröffentlicht: (2016)