The effect of partiality and adaptivity on the complexity of FSM state identification problems

State identification is a long standing problem in the area of Finite State Machine (FSM) based modeling and testing of discrete event systems. For the identification of the current state of the system, so-called homing and synchronizing experiments with FSMs are used whereas for the initial state i...

詳細記述

書誌詳細

出版年:	Труды Института системного программирования РАН
主要な著者:	H. Yenigun, N. Yevtushenko, N. Kushik, J. López
フォーマット:	論文
言語:	英語
出版事項:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
主題:	конечные автоматы задача идентификации состояний сложность
オンライン･アクセス:	https://ispranproceedings.elpub.ru/jour/article/view/450