أرسل هذا في رسالة قصيرة: Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines