4 research outputs found
Query learning of derived -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 -tree languages derived from
weak regular -word languages in polynomial time. The method is a
general polynomial time reduction of learning a class of derived -tree
languages to learning the underlying class of -word languages, for any
class of -word languages recognized by a deterministic B\"{u}chi
acceptor. Our reduction, combined with the polynomial time learning algorithm
of Maler and Pnueli [1995] for the class of weak regular -word
languages yields the main result. We also show that subset queries that return
counterexamples can be implemented in polynomial time using subset queries that
return no counterexamples for deterministic or non-deterministic finite word
acceptors, and deterministic or non-deterministic B\"{u}chi -word
acceptors.
A previous claim of an algorithm to learn regular -trees due to
Jayasrirani, Begam and Thomas [2008] is unfortunately incorrect, as shown in
Angluin [2016]
Query learning of derived -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 -tree languages derived from
weak regular -word languages in polynomial time. The method is a
general polynomial time reduction of learning a class of derived -tree
languages to learning the underlying class of -word languages, for any
class of -word languages recognized by a deterministic B\"{u}chi
acceptor. Our reduction, combined with the polynomial time learning algorithm
of Maler and Pnueli [1995] for the class of weak regular -word
languages yields the main result. We also show that subset queries that return
counterexamples can be implemented in polynomial time using subset queries that
return no counterexamples for deterministic or non-deterministic finite word
acceptors, and deterministic or non-deterministic B\"{u}chi -word
acceptors.
A previous claim of an algorithm to learn regular -trees due to
Jayasrirani, Begam and Thomas [2008] is unfortunately incorrect, as shown in
Angluin [2016]
Query learning of derived -tree languages in polynomial time
We present the first polynomial time algorithm to learn nontrivial classes oflanguages of infinite trees. Specifically, our algorithm uses membership andequivalence queries to learn classes of -tree languages derived fromweak regular -word languages in polynomial time. The method is ageneral polynomial time reduction of learning a class of derived -treelanguages to learning the underlying class of -word languages, for anyclass of -word languages recognized by a deterministic B\"{u}chiacceptor. Our reduction, combined with the polynomial time learning algorithmof Maler and Pnueli [1995] for the class of weak regular -wordlanguages yields the main result. We also show that subset queries that returncounterexamples can be implemented in polynomial time using subset queries thatreturn no counterexamples for deterministic or non-deterministic finite wordacceptors, and deterministic or non-deterministic B\"{u}chi -wordacceptors. A previous claim of an algorithm to learn regular -trees due toJayasrirani, Begam and Thomas [2008] is unfortunately incorrect, as shown inAngluin [2016]