Inference of Reversible Tree Languages
Damián López, José M. Sempere, P. Garcia · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2004
In this paper, we study the notion of k-reversibility and k-testability when regular tree languages are involved. We present an inference algorithm for learning a k-testable tree language that runs in polynomial time with respect to the size of the sample used. We also study the tree language classes in relation to other well known ones, and some properties of these languages are proven.