Neider, Daniel2018-01-052018-01-0520092009https://dl.gi.de/handle/20.500.12116/9678Wir 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.Text/Journal Article1432-122X