FOUNDATIONS OF MARKUP, HTML, AND SGML
The Standard Generalized Markup Language (SGML)
is a meta-syntactic language for the definition of Document
Type Definitions (DTDs), which are, essentially, extended context-free
grammars in which the right-hand sides of productions are similar to
regular expressions and are called Content Models.
Anne Brueggemann-Klein and I began investigating SGML
in the early nineties; it led to a number of
publications about ambiguity, in the SGML sense, for content models.
In addition, with Darrell Raymond and Frank Tompa we attempted to address
the issue of what is markup and what are appropriate meta-semantics
Pekka Kilpelainen, Helen Cameron, and Chris Cleverley and I are currently
examining the issues of exceptions and their expressive power, the
decidability of structural equivalence of DTDs, and how tag minimization
can be defined in a general way.
Fax: Attn. Derick Wood, 852-2358-1477
Computer Science Department
The Hong Kong University of Science and Technology
Clear Water Bay, Kowloon