| dc.contributor.author | Neider, Daniel | |
| dc.date | 2009-06-01 | |
| dc.date.accessioned | 2018-01-05T19:52:21Z | |
| dc.date.available | 2018-01-05T19:52:21Z | |
| dc.date.issued | 2009 | |
| dc.identifier.issn | 1432-122X | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/9678 | |
| dc.description.abstract | 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. | |
| dc.publisher | Springer-Verlag | |
| dc.relation.ispartof | Informatik-Spektrum: Vol. 32, No. 3 | |
| dc.relation.ispartofseries | Informatik-Spektrum | |
| dc.title | Lernverfahren für Automaten über linearisierten XML-Dokumenten | |
| dc.type | Text/Journal Article | |
| dc.pubPlace | Berlin Heidelberg | |
| mci.reference.pages | 255-259 | |
| gi.identifier.doi | 10.1007/s00287-008-0265-x | |
