Note that if D requires the directive Dialect(D) as part of its syntax then this implies that any D-admissible document must have this directive. ?
A round-falling of a keen admissible document for the a dialect, D, was an excellent semantics-retaining mapping so you can a document in virtually any language L with good semantics-sustaining mapping in the L-file back again to an enthusiastic admissible D-file. While semantically comparable, the original while the round-set-off D-documents doesn’t have to be the same.
cuatro.step one XML towards the RIF-FLD Language
RIF-FLD uses [XML1.0] for its XML sentence structure. The newest XML serialization getting RIF-FLD was alternating otherwise completely striped [ANF01]. A fully striped serialization viewpoints XML files given that things and you will splits all of the XML labels on the group descriptors, named form of tags, and assets descriptors, named part tags [TRT03]. I follow the community of using capitalized labels to have variety of tags and lowercase labels to possess role tags.
The all-uppercase classes in the EBNF of the presentation syntax, such as Formula, become XML Schema groups in Appendix XML Schema for FLD. They are not visible in instance markup. The other classes as well as non-terminals and symbols (such as Is present or =) become XML elements with optional attributes, as shown below.
Getting convenience of reference, the first algorithms are included on the top
The RIF serialization framework for the syntax of Section EBNF Grammar for the Presentation Syntax of RIF-FLD uses the following XML tags. Continue reading “cuatro.dos Mapping on the RIF-FLD Demonstration Sentence structure for the XML Sentence structure”