related documents ALGORITHMS FOR APPROXIMATE FSM TRAVERSAL Conference Proceeding MINIMUM LENGTH SYNCHRONIZING SEQUENCES OF FINITE-STATE MACHINE Conference Proceeding
