in Linie 8, der Hinweis auf dem allgemeinen Wesen "tricky "wird erkannt und es wird, so das volle erweitert Inhalt des Tests Element ist die self-describing (und ungrammatical) Zeichenkette dieses Beispielerscheinen a fehleranfällige Methode. Deterministische Zufriedene Modelle E (Nicht-Normativ) Wie im Inhalt mit 3,2,1 Elementen gemerkt [ p.22 ], wird es daß zufriedene Modelle in den Elementtypvereinbarungen angefordert seien Sie deterministisch. Diese Anforderung ist für Kompatibilität [ p.6 ] mit SGML (das deterministischen Inhalt benennt Modelle "eindeutig"); Die XML-Prozessoren, die mit SGML-Systemen errichtet werden, können non-deterministischen Inhalt kennzeichnen Modelle als Störungen. Z.B. das zufriedene Modell ((b, c)|(b, d)) ist non-deterministisch, weil ein Ausgangsb gegeben der XML-Prozessor kann nicht wissen, welches b im Modell wird zusammengepaßt, ohne zum Sehen voran zu schauen welches Element dem b folgt . In diesem Fall die zwei Hinweise auf b kann in einen einzelnen Hinweis eingestürzt werden, das Modell bildend, lesen Sie (b, (c|d)) . Ein Ausgangß$+0 b jetzt bringt offenbar nur einen einzelnen Namen in zusammen zufriedenes Modell. Der Prozessor braucht nicht, voran zu schauen, um zu sehen, was folgt; jedes c oder d seien Sie angenommen. Formaler: ein begrenzter Zustandautomat kann aus dem zufriedenen Modell mit dem Standard hergestellt werden Algorithmen, z.B. Algorithmus 3,5 in Abschnitt 3,9 von Aho, von Sethi und von Ullman [ Aho/Ullman ] [ p.48 ]. In vielen solche Algorithmen, ein folgensatz wird für jede Position im regelmäßigen Ausdruck konstruiert (d.h., jeder Blattnullpunkt im Syntaxbaum für den regelmäßigen Ausdruck); wenn irgendeine Position in dem hat folgen, das mehr als eins eingestellt wird folgende Position wird mit dem gleichen Elementartnamen beschriftet, dann ist das zufriedene Modell in der Störung und kann seien als Störung berichtet Sie. Algorithmen bestehen, die viele gewähren, aber nicht alle non-deterministischen zufriedenen zu verringernden Modelle automatisch zu den gleichwertigen deterministischen Modellen; sehen Sie Brggemann-Klein 1991 [ Brggemann-Klein ] [ p.48 ]. F Autodetection der Buchstabenencodings (Nicht-Normativ) Die kodierenerklärung XML arbeitet als interner Aufkleber auf jedem Wesen und anzeigt, welcher Buchstabe kodierung ist im Gebrauch. Bevor ein XML-Prozessor den internen Aufkleber lesen kann jedoch muß er anscheinend wissen Sie, was Buchstabenkodierung im Gebrauch ist -- der ist, was der interne Aufkleber versucht, anzuzeigen. In allgemeiner Fall, dieser ist eine hoffnungslose Situation. Er ist nicht in XML jedoch weil XML-Begrenzungen völlig hoffnungslos der allgemeine Fall in zwei Möglichkeiten: jede Implementierung wird angenommen, um nur einen begrenzten Satz des Buchstabens zu stützen Encodings und die kodierenerklärung XML wird in der Position und im Inhalt eingeschränkt, um ihn zu bilden durchführbar zum autodetect die Buchstabenkodierung im Gebrauch in jedem Wesen in den normalen Fällen. Auch in vielen Fällen andere Quellen der Informationen sind zusätzlich zum XML-Datenstrom selbst vorhanden. Zwei Fälle können sein bemerkenswert, abhängig von, ob das XML-Wesen dem Prozessor außen dargestellt wird oder mit, irgendwie Begleiten (der externen) Informationen. Wir betrachten den ersten Fall zuerst. 55 Deterministische Zufriedene Modelle E (Nicht-Normativ)