Normal view
MARC view
Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs I. Hwang, N. V. Yevtushenko, A. Cavalli
Material type: ArticleSubject(s): недетерминированные конечные автоматы | программное обеспечениеGenre/Form: статьи в журналах Online resources: Click here to access online In: Information processing letters Vol. 112, № 7. P. 298-301No physical items for this record
Библиогр.: 5 назв.
There are no comments on this title.