Informatik-Spektrum

, Volume 32, Issue 3, pp 255–259 | Cite as

Lernverfahren für Automaten über linearisierten XML-Dokumenten

STUDENT’S CORNER LERNVERFAHREN FÜR AUTOMATEN
  • 52 Downloads

Zusammenfassung

Wir untersuchen die Validierung von XML-Dokumenten gegen DTDs mittels endlicher Automaten. Da für die Konstruktion solcher endlicher Automaten noch keine allgemeine Konstruktionsmethode bekannt ist, präsentieren wir einen auf Lernverfahren basierenden Ansatz. In diesem Zusammenhang entwickeln wir ein polynomielles Lernverfahren für visibly 1-Zählerautomaten mit beliebigem Schwellenwert.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Angluin D (1987) Learning regular sets from queries and counterexamples. Inf Comput 75(2):87–106CrossRefMathSciNetMATHGoogle Scholar
  2. 2.
    Bárány V, Löding C, Serre O (2006) Regularity problems for visibly pushdown languages. In: Proceedings of the 23rd Annual Symposioum on Theoretical Aspects of Computer Science (STACS’06), 3884:420–431, Springer, Berlin HeidelbergGoogle Scholar
  3. 3.
    Esparza J, Hansel D, Rossmanith P, Schwoon S (2000) Efficient Algorithms for Model Checking Pushdown Systems. Computer Aided Verification, S 232–247Google Scholar
  4. 4.
    Gold EM (1967) Language identification in the limit. Inf Control 10(5):447–474CrossRefMATHGoogle Scholar
  5. 5.
    Oncína J, Garcia P (1992) Inferring regular languages in polynomial update time. Pattern Recognit Image Anal 1:49–61Google Scholar
  6. 6.
    Segoufin L, Sirangelo C (2007) Constant-memory validation of streaming XML documents against DTDs. In: Proc. ICDT’07, 4353:299–313, Springer, Berlin HeidelbergGoogle Scholar
  7. 7.
    Segoufin L, Vianu V (2002) Validating streaming XML documents. In: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, S 53–64, ACM Press, New York, NY, USAGoogle Scholar

Copyright information

© Springer-Verlag 2008

Authors and Affiliations

  1. 1.Lehrstuhl für Informatik 7RWTH AachenAachenDeutschland

Personalised recommendations