Query Learning of Regular Tree Languages: How to Avoid Dead States

  • Authors:
  • Frank Drewes;Johanna Högberg

  • Affiliations:
  • Department of Computing Science, Umea University, S-901\',87 Umea, Sweden;Department of Computing Science, Umea University, S-901\',87 Umea, Sweden

  • Venue:
  • Theory of Computing Systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We generalize an inference algorithm by Angluin, that learns a regular string language from a "minimally adequate teacher", to regular tree languages. The (deterministic bottom-up) finite tree automaton constructed by the learning algorithm is the minimal partial one recognizing the unknown language. This improves a similar algorithm proposed by Sakakibara by avoiding dead states both in the resulting automaton and the learning phase, which also leads to a considerable improvement with respect to efficiency.