Learning Regular Sets with an Incomplete Membership Oracle

This paper gives an "efficient" algorithm for learning deterministic finite automata by using an equivalence oracle and an incomplete membership oracle. This solves an open problem that was posed by Angluin and Slonim in 94.