Бережная, М. А.Королева, Я. Ю.2018-03-012018-03-012008Бережная М. А. Характеристические последовательности в конечно-автоматных моделях дискретных устройств / М. А. Бережная, Я. Ю. Королева // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Автоматика и приборостроение. – Харьков : НТУ "ХПИ", 2008. – № 56. – С. 19-25.https://repository.kpi.kharkov.ua/handle/KhPI-Press/34819Пропонується процедура синтезу характеристичних послідовностей по дереву-спадкоємцю автоматної моделі дискретного пристрою. Отримана найменша верхня межа довжини множин характеристичних послідовностей.The method deriving of characterizing sequences from state table of automata is proposed. The minimal upper bound of the characterizing sequence length is found.ruДУКАМхарактеристические последовательноститеоремаХПавтомат Миликонечный автоматArticle