К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов

doi:10.18255/1818-1015-2017-6-730-742

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов	521 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.18255/1818-1015-2017-6-730-742

#входо-выходные полуавтоматы

#синхронизирующие последовательности

#установочные последовательности

Title: К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
Title: Deriving synchronizing and homing sequences for input/output automata
Creator: Евтушенко, Нина Владимировна
|
Бурдонов, Игорь Борисович
|
Косачев, Александр Сергеевич
|
Кушик, Наталья Геннадьевна
Date: 2017
DOI: 10.18255/1818-1015-2017-6-730-742
Description: В работе рассматриваются задачи проверки существования и синтеза синхронизирующих и установочных последовательностей для конечных входо-выходных полуавтоматов. Соответствующие последовательности могут быть использованы при идентификации состояния проверяемой системы после подачи подходящей входной последовательности. В модели, исследуемой в работе, действия разделены на входные и выходные, однако отсутствуют выделенные явно семейства начальных и финальных состояний. В статье определяются понятия синхронизирующей и установочной последовательностей и предлагаются методы их синтеза для специального класса входо-выходных полуавтоматов, у которых в каждом состоянии определены переходы или только по входным, или только по выходным действиям; кроме того, в соответствующем графе переходов отсутствуют циклы по выходным символам. Для описанного класса входо-выходных полуавтоматов устанавливаются необходимые и достаточные условия существования синхронизирующих и установочных последовательностей и оценивается длина таких последовательностей. Выделяются подклассы полуавтоматов, для которых худшие (в основном экспоненциальные) оценки сложности не являются достижимыми.

Relationships: Show Relationship Browser for this Object
collection(s): Радиофизический факультет
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 6. С. 730-742
Language: rus

Created: 19-12-2018

1033 Visitors

851 Hits

204 Downloads

Радиофизический факультет К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов