Text this: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce