Learning regular languages from counterexamples