Характеристические последовательности в конечно-автоматных моделях дискретных устройств
Дата
2008
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Назва журналу
Номер ISSN
Назва тому
Видавець
НТУ "ХПИ"
Анотація
Пропонується процедура синтезу характеристичних послідовностей по дереву-спадкоємцю автоматної моделі дискретного пристрою. Отримана найменша верхня межа довжини множин характеристичних послідовностей.
The method deriving of characterizing sequences from state table of automata is proposed. The minimal upper bound of the characterizing sequence length is found.
The method deriving of characterizing sequences from state table of automata is proposed. The minimal upper bound of the characterizing sequence length is found.
Опис
Ключові слова
ДУ, КАМ, характеристические последовательности, теорема, ХП, автомат Мили, конечный автомат
Бібліографічний опис
Бережная М. А. Характеристические последовательности в конечно-автоматных моделях дискретных устройств / М. А. Бережная, Я. Ю. Королева // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Автоматика и приборостроение. – Харьков : НТУ "ХПИ", 2008. – № 56. – С. 19-25.