Fig. 2From: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduceThe truncated successor tree of \(M/s_0\cap M/s_1\)Back to article page