A Note on the Query Complexity of Learning DFA (Extended Abstract)

It is known [1] that the class of deterministic finite automata is polynomial time learnable by using membership and equivalence queries. We investigate — the query complexity — the number of membership and equivalence queries for learning deterministic finite automata. We first show two lower bounds in two different learning situations. Then we investigate the query complexity in general setting, and show some trade-off phenomenon between the number of membership and equivalence queries.