Grammar-compatible stylesheets

  • Thomas Schroff
  • Anne Brüggemann-Klein
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1293)


Stylesheets have been used to convert the document type of SGML documents. With a stylesheet a document conforming to a source grammar can be transformed into a document conforming to a target grammar. This paper discusses the following problem: Given a stylesheet, a source and a target SGML grammar, is it decidable whether or not all documents conforming to the source grammar are transformed into documents conforming to the target grammar? Using context-free-extended context-free grammars we give a decision procedure for this problem.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BCG92]
    T. Berners-Lee and R. Cailliau and J. Groff and B. Pollermann. World-Wide Web: The Information Universe. Electronic Networking: Research, Applications and Policy, Vol. 1, 2: 52–58, 1992.Google Scholar
  2. [Brü93a]
    Anne Brüggemann-Klein. Regular Expressions into Finite Automata. Theoretical Computer Science, Vol. 120, p. 197–213, 1993.CrossRefGoogle Scholar
  3. [Brü93b]
    Anne Brüggemann-Klein. Unambiguity of Extended Regular Expressions in SGML Document Grammars. Algorithms ESA '93, Th. Lengauer, Springer-Verlag, p. 73–84, 1993.Google Scholar
  4. [GH67]
    S. Ginsburg, M. M. Harrison. Bracketed context-free languages. Journal of Computer and System Sciences, 1(1): 1–23, March 1967.Google Scholar
  5. [Go190]
    Charles F. Goldfarb. The SGML Handbook. Clarendon Press, Oxford, 1990.Google Scholar
  6. [HU79]
    J.E. Hopcroft, J.D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley Series in Computer Science. Addison-Wesley, Reading, MA, 1979.Google Scholar
  7. [IS086]
    International Organization for Standardization, Information Processing — Text and Office Systems. ISO 8879 — Standard Generalized Markup Language, Oct. 1986.Google Scholar
  8. [KMS93]
    F. Kappe and H. Maurer and N. Sherbakov. Hyper-G: A Universal Hypermedia System. Journal of Educational Multimedia and Hypermedia, Vol. 2, 1: 39–66, 1993.Google Scholar
  9. [Sch96]
    Thomas Schroff. Grammatikverträgliche Stylesheets. Diploma thesis, Technische Universität München, Feb. 1996.Google Scholar
  10. [Tha67]
    J.W. Thatcher. Characterizing derivation trees of a context-free grammar through a generalization of finite-automata theory. Journal of Computer and Systems Sciences, 1:317–322, 1967.Google Scholar
  11. [Woo95]
    Derick Wood, Standard Generalized Markup Language: Mathematical and Philosophical Issues. In: Jan van Leeuwen (ed.): Computer Science Today, Recent Trends and Developments, Lecture Notes in Computer Science 1000, p. 344–365, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Thomas Schroff
    • 1
  • Anne Brüggemann-Klein
    • 1
  1. 1.Technische Universität MünchenMünchenGermany

Personalised recommendations