The ISO definition of generalized markup states:
Markup should be rigorous so that the techniques available for processing rigorously-defined objects like programs and databases can be used for processing documents as well.
What does "rigorous" mean in this context?
I found a paper which says:
...the type definition and the marked up document together [...] constitute the rigorously described document that machine processing requires.
...but I'm still unclear on the exact definition.