An $L^{\#}$ Based Algorithm for Active Learning of Minimal Separating Automata

Jasper Laumen, Leonne Snel, Frits Vaandrager

A DFA separates two disjoint languages $L_1$ and $L_2$ if it accepts every word in $L_1$ and rejects every word in $L_2$. Algorithms for active learning of small separating DFAs ha…