Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs

Iksoon Hwang, Nina Yevtushenko, Ana R. Cavalli. Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs. Inf. Process. Lett., 112(7):298-301, 2012. [doi]

Abstract

Abstract is missing.