Inference of residual finite-state tree automata from membership queries and finite positive data

  • Authors:
  • Anna Kasprzik

  • Affiliations:
  • Theoretical Computer Science, University of Trier, Germany

  • Venue:
  • DLT'11 Proceedings of the 15th international conference on Developments in language theory
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The area of Grammatical Inference centers on learning algorithms: Algorithms that infer a description (e.g., a grammar or an automaton) for an unknown formal language from given information in finitely many steps. Various conceivable learning settings have been outlined, and based on those a range of algorithms have been developed. One of the language classes studied most extensively with respect to its algorithmical learnability is the class of regular string languages. Possible sources of information include membership queries (MQs) where a learner may query an oracle if a certain element is in the target language L, and equivalence queries (EQs) where a learner may ask if the current hypothesis is correct and is given a counterexample if this is not the case. Moreover, a learner can for example be presented with a positive sample, i.e., a finite subset of L.