Extended implementation of Angluin's learning algorithm to 3-valued semantics with acc, rej and don't care.