Title: Analytical Learning and Term-Rewriting Systems