Inference of k -testable Tree Languages