Text this: Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines