TY - GEN
T1 - Grammar-compatible stylesheets
AU - Schroff, Thomas
AU - Brüggemarm-Klein, Anne
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.
PY - 1997
Y1 - 1997
N2 - Stylesheets have been used to convert the document type of SGML documents. With a stylesheet a document conforming to a source grammar cart 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 contextfree- extended context-free grammars we give a decision procedure for this problem.
AB - Stylesheets have been used to convert the document type of SGML documents. With a stylesheet a document conforming to a source grammar cart 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 contextfree- extended context-free grammars we give a decision procedure for this problem.
UR - http://www.scopus.com/inward/record.url?scp=84949815503&partnerID=8YFLogxK
U2 - 10.1007/3-540-63620-x_55
DO - 10.1007/3-540-63620-x_55
M3 - Conference contribution
AN - SCOPUS:84949815503
SN - 9783540636205
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 51
EP - 58
BT - Principles of Document Processing - 3rd International Workshop, PODP 1996, Proceedings
A2 - Nicholas, Charles
A2 - Wood, Derick
PB - Springer Verlag
T2 - 3rd International Workshop on Principles of Document Processing, PODP 1996
Y2 - 23 September 1996 through 23 September 1996
ER -