Asymptotic model matching for finite state machines