A learning algorithm, which distinguishes hypothesis states using a discrimination tree (visibly push-down automata variant).
