Query learning of derived $\omega$-tree languages in polynomial time

Dana Angluin, Timos Antonopoulos, Dana Fisman

We present the first polynomial time algorithm to learn nontrivial classes of languages of infinite trees. Specifically, our algorithm uses membership and equivalence queries to le…