Синхронизирующие и установочные эксперименты для входо-выходных полуавтоматов

Синхронизирующие и установочные эксперименты для входо-выходных полуавтоматов

Язык статьи
Английский
Аннотация
В работе рассматриваются эксперименты с конечными полуавтоматами, направленные на идентификацию финального (текущего) состояния проверяемой системы после подачи соответствующей входной последовательности. В исследуемой модели действия разделены на входные и выходные, однако в модели отсутствуют специально выделенные семейства начальных и финальных состояний. В статье определяются подходящий синхронизирующий и установочный эксперименты, и предлагаются методы их синтеза для специального класса входо-выходных полуавтоматов, у которых в каждом состоянии определены переходы или только по входным, или только по выходным действиям, а также в графе переходов отсутствуют циклы по выходным символам. Для описанного класса входо-выходных полуавтоматов устанавливаются необходимые и достаточные условия существования безусловных синхронизирующего и установочного экспериментов.
DOI
10.31144/si.2307-6410.2017.n10.p1-10
УДК
Страницы
1-10
Файл
Номер