Метод идентификации обратимого автомата с известной функцией выходов | Прикладная дискретная математика. Приложение. 2017. № 10. DOI: 10.17223/2226308X/10/55

ГлавнаяАрхивМетод идентификации обратимого автомата с известной функцией выходов | Прикладная дискретная математика. Приложение. 2017. № 10. DOI: 10.17223/2226308X/10/55

Метод идентификации обратимого автомата с известной функцией выходов

Предлагается метод построения простого условного эксперимента, идентифицирующего автомат с известной функцией выходов, являющийся одной из реализаций обратимого недетерминированного автомата R. Сначала строится граф преемников автомата R и определяются его разрешимые вершины. Показано, что когда вершина, соответствующая множеству состояний автомата R, разрешима, то можно провести простой условный установочный эксперимент по нахождению текущего состояния автомата-реализации. Далее проводится простой условный эксперимент по идентификации последнего при известном начальном состоянии.

Identification method for invert-ible finite state machine with known output function.pdf В работе рассматривается задача построения простых условных экспериментов [1] по идентификации автомата в классе, который задаётся как множество реализаций некоторого обратимого недетерминированного (онд-)автомата с одним или двумя вариантами перехода из каждого состояния при каждом входном символе. Условный эксперимент подразумевает, что вычисление подаваемых на автомат входных слов зависит от его реакций на ранее поданные слова. Здесь под онд-автоматом понимается пятёрка R = (X, S, Y, Ф,

Ключевые слова

простой условный эксперимент по идентификации автомата, сильносвязный автомат, обратимый автомат, finite state machines, successor graphs, identification experiments

Авторы

ФИООрганизацияДополнительноE-mail
Жуковская Александра Олеговна Томский государственный университет студентка кафедры защиты информации и криптографииzhuka157@yandex.ru
Тренькаев Вадим Николаевич Томский государственный университет кандидат технических наук, доцент, доцент кафедры защиты информации и криптографииtvnik@sibmail.com
Всего: 2

Ссылки

Гилл А. Введение в теорию конечных автоматов. М.: Наука, 1966. 272 с.
Тренькаев В. Н. Реализация шифра Закревского на основе перестраиваемого автомата // Прикладная дискретная математика. 2010. №3. С. 69-77. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000462558
Жуковская А. О., Тренькаев В. Н. О простых условных экспериментах идентификации обратимых автоматов некоторого класса // Прикладная дискретная математика. Приложение. 2016. №9. С. 115. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000547628
Метод идентификации обратимого автомата с известной функцией выходов | Прикладная дискретная математика. Приложение. 2017. № 10. DOI: 10.17223/2226308X/10/55

Метод идентификации обратимого автомата с известной функцией выходов | Прикладная дискретная математика. Приложение. 2017. № 10. DOI: 10.17223/2226308X/10/55