Search

• < Previous
• 1
• Next >

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

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 learn classes of $\omega$-tree languages derived from weak regular $\omega$-word languages in polynomial time. The method&nbsp;[&hellip;]