Grammar-compatible stylesheets

DOI10.1007/3-540-63620-X_55MaRDI QIDQ4376792zbMATH OpenFDO

Authors Thomas Schroff, Anne Brüggemann-Klein

Publication date 11 February 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63620-X_55

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Computing methodologies for text processing; mathematical typography (68U15) Parallel algorithms in computer science (68W10)

Review text

The paper discusses the following problem: given a stylesheet, a source and a target SGML grammar, is it decidable or not that all documents conforming to the source grammar to be transformed into documents conforming to the target grammar? The paper presents a decision procedure to the above problem, using context-free-extended context-free grammars. The proposed decision procedure provides the algorithmic basis that enables the authors of stylesheets to test and validate the corresponding SGML grammars and documents. For the entire collection see [Zbl 0879.00058].

Recommendations

This page was built for publication: Grammar-compatible stylesheets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4376792)