论文信息 - Lernverfahren für Automaten über linearisierten XML-Dokumenten

Lernverfahren für Automaten über linearisierten XML-Dokumenten

ZusammenfassungWir 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.

Daniel Neider

[1] Christof Löding,et al. Regularity Problems for Visibly Pushdown Languages , 2006, STACS.

[2] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[3] J. Oncina,et al. INFERRING REGULAR LANGUAGES IN POLYNOMIAL UPDATED TIME , 1992 .

[4] Victor Vianu,et al. Validating streaming XML documents , 2002, PODS.

[5] E. Mark Gold,et al. Language Identification in the Limit , 1967, Inf. Control..

[6] Javier Esparza,et al. Efficient Algorithms for Model Checking Pushdown Systems , 2000, CAV.

[7] Cristina Sirangelo,et al. Constant-Memory Validation of Streaming XML Documents Against DTDs , 2007, ICDT.