Характеристические последовательности в конечно-автоматных моделях дискретных устройств

Abstract

Пропонується процедура синтезу характеристичних послідовностей по дереву-спадкоємцю автоматної моделі дискретного пристрою. Отримана найменша верхня межа довжини множин характеристичних послідовностей.The method deriving of characterizing sequences from state table of automata is proposed. The minimal upper bound of the characterizing sequence length is found.