Analytische und experimentelle Untersuchungen zur Fehlerkorrektur an XML-Grammatiken und -Dokumenten

In dieser Arbeit wird untersucht, wie eine Fehlerkorrektur in XML-Dokumenten vorgenommen werden kann, wenn sowohl Änderungen an der XML-Grammatik, als auch am XML-Datenbaum zulässig sind. Die Fehlerkorrektur wird dabei so durchgeführt, dass die Änderungen minimal im Bezug auf ein, in der Arbeit vorgestelltes, Kostenmaß sind. Dazu werden verschiedene Algorithmen entwickelt. Zunächst werden allgemeingültige Verfahren entwickelt. Da diese allerdings ungünstige Zeitkomplexitäten besitzen werden dann Spezialfälle untersucht und zuletzt ein Verfahren entwickelt, dass die Algorithmen nutzt, um wieder eine allgemeine Fehlerkorrektur durchzuführen. Die Zeitkomplexität aller Algorithmen wird bestimmt. Weiterhin werden die implementierten Algorithmen experimentell untersucht