Skip to main content
SpringerLink
Log in

Grammar-compatible stylesheets

  • Conference paper
  • First Online:
Principles of Document Processing (PODP 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1293))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. Anne Brüggemann-Klein. Regular Expressions into Finite Automata. Theoretical Computer Science, Vol. 120, p. 197–213, 1993.

    Article  Google Scholar 

  3. 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. S. Ginsburg, M. M. Harrison. Bracketed context-free languages. Journal of Computer and System Sciences, 1(1): 1–23, March 1967.

    Google Scholar 

  5. Charles F. Goldfarb. The SGML Handbook. Clarendon Press, Oxford, 1990.

    Google Scholar 

  6. 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. International Organization for Standardization, Information Processing — Text and Office Systems. ISO 8879 — Standard Generalized Markup Language, Oct. 1986.

    Google Scholar 

  8. 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. Thomas Schroff. Grammatikverträgliche Stylesheets. Diploma thesis, Technische Universität München, Feb. 1996.

    Google Scholar 

  10. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Technische Universität München, Arcisstr. 21, 80333, München, Germany

    Thomas Schroff & Anne Brüggemann-Klein

Authors
  1. Thomas Schroff
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anne Brüggemann-Klein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Charles Nicholas Derick Wood

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schroff, T., Brüggemann-Klein, A. (1997). Grammar-compatible stylesheets. In: Nicholas, C., Wood, D. (eds) Principles of Document Processing. PODP 1996. Lecture Notes in Computer Science, vol 1293. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63620-X_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-63620-X_55

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63620-5

  • Online ISBN: 978-3-540-69614-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation