| |
Darlegung, das nicht Vorde haben, ned zufriedene Elemente für die Kodierung ihrer Gegenstände und Operatoren. Als Folge jedes mögliches System des zufriedenen Preisaufschlags erfordert unvermeidlich eine Verlängerungseinheit, die Darstellung mit Semantik kombiniert auf gewisse Weise. Zufriedenes Preisaufschlagspeci es MathML einige Weisen der Befestigung externen semantischen von de Nitions zu zufriedene Gegenstände. Es ist jedoch notwendig Darstellungspreisaufschlag MathML zu verwenden, um zu spezifizieren, wie solches Benutzer-De ned semantische Verlängerungen sollten übertragen werden. Z.B. wird der ' widerliche ' Operator von der linearen Algebra nicht umfaßt, wie ein Vorde zufriedenes Element MathML ned. So das Aussagenrank(u ausdrücken T V )=1 verwenden wir a Semantik Element zum Binden semantischen von de Nition an Symbol- Rank . < treffen Sie > zu < eq/> < treffen Sie > zu < Semantik > < mi>rank</mi > < Anmerkungs-xmlencoding="OpenMath "> "< OMS-name="rank" cd="linalg4" xmlns="http://www.openmath.org/OpenMath/> </Anmerkung-xml > </Semantik > < treffen Sie > zu < Zeiten/> < treffen Sie > < umstellen/> < ci>u</ci > </zutreffen > zu < ci>v</ci > </treffen Sie > zu </treffen Sie > zu < cn>1</cn > </treffen Sie > zu Hier sind die Semantik von Rank mit einem Symbol von einem OpenMath gegeben worden [ OpenMath2000 ] zufriedenes dictio- nary (DIGITALSCHALLPLATTE). 5,2,2 Kombinationen, die verboten werden Die Hauptbetrachtung, wenn Darstellungspreisaufschlag und Inhaltspreisaufschlag zusammen in einem einzelnen Ausdruck gemischt werden ist das das Resultat, wenn ruhig sinnvoll seien Sie. Wenn beide Arten Preisaufschlag in einem Darstellungsausdruck enthalten werden, dies heißt, daß es möglich sein sollte, die resultierenden gemischten Ausdrücke einfach und vernünftig zu übertragen. Andererseits wenn Mischpreisaufschlag erscheint in einem zufriedenen Ausdruck, sollte es zu möglich sein ein semantisches einfach und vernünftig zuzuweisen Deutung zum Ausdruck als Ganzes. Diese Anforderungen setzen einige natürliche Begrenzungen auf wie Darstellung und stellen Sie Preisaufschlag kann in einem einzelnen Ausdruck gemischt werden zufrieden, um vieldeutig oder anders problematisch zu vermeiden Ausdrücke. Zwei Beispiele veranschaulichen die Arten der Probleme, die in Mischpreisaufschlag vermieden werden müssen. Betrachten Sie: < mrow > < bvar > x </bvar > < MO > + </MO > < bvar > y </bvar > </mrow > In diesem Beispiel das zufriedene Element bvar ist wahllos in einem Darstellungsausdruck eingebettet worden. Seit dem bvar erfordert einen umgebenden Kontext für seine Bedeutung, dieser Ausdruck ist unklar. Ähnlich betrachten Sie: < treffen Sie > zu 229 |  |
|
| |
|
|