[Next] [Previous] [First]

Correction ∈ transformation ?

Propriété
Il existe au moins une DTD décrivant la structure de tout document bien formé.

Un document bien formé est une expression régulière.

DTD engendrée par l'instance Mail



  <!ELEMENT Mail          (Recipient,
                           Sender,
                           Subject,
                           textbody)    >
  <!ELEMENT Recipient     (#PCDATA)     >
  <!ELEMENT Sender        (#PCDATA)     >
  <!ELEMENT Subject       (#PCDATA)     >
  <!ELEMENT Textbody      (P)+          >
  <!ELEMENT P             (#PCDATA)     >

Le problème de la correction peut être ramené à celui de la transformation
par la génération d'une DTD source « ad-hoc »