This is the mail archive of the xsl-list@mulberrytech.com mailing list .


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: XSL Theory


Turing machines deal with infinite, input of all patterns. An XSL sheet with
schema restricted input subset is a much different problem. Even thought the
input can be infinite in size its pattern is severely restricted to being
hierarchical and repetitive. For example you can't write a schema that
describes the sequence of digits in PI.

XSL is very similar to the comp sci problem of theorem proving and Prolog.

Jon Smirl
jonsmirl@mediaone.net



 XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]