Logo des Repositoriums

Auflistung nach Autor:in "Neider, Daniel"

1 - 1 von 1
  • Zeitschriftenartikel
    Lernverfahren für Automaten über linearisierten XML-Dokumenten
    (Informatik-Spektrum: Vol. 32, No. 3, 2009) Neider, Daniel
    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.