أرسل هذا في رسالة قصيرة: Deriving checking sequences for nondeterministic FSMs