A New Approach for Active Automata Learning Based on Apartness

Frits Vaandrager, Bharat Garhewal, Jurriaan Rot +1

We present $L^{\#}$, a new and simple approach to active automata learning. Instead of focusing on equivalence of observations, like the $L^{\ast }$ algorithm and its descendants, $…