[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: Game of Life: an XSLT implementation

• To: "John Cowan" <cowan@m...>, "Roger L. Costello" <costello@m...>
• Subject: RE: Game of Life: an XSLT implementation
• From: "Hunsberger, Peter" <Peter.Hunsberger@s...>
• Date: Mon, 20 Oct 2003 12:29:53 -0500
• Cc: <xml-dev@l...>
• Thread-index: AcOXLViajoMyHSEtSqa5oIq4/4F2wQAAP4NQ
• Thread-topic: Game of Life: an XSLT implementation

John Cowan <cowan@m...> writes:
 
> Roger L. Costello scripsit:
> > Hi Folks,
> > 
> > I have implemented the Game of Life[1] using XSLT.
> 
> And since Life is known to be Turing-complete, so is XSLT.  
> Neat proof.
>
Hmm, not so sure about that: it appears to me that Roger's code exploits
round trips through XSLT that requires supporting infrastructure above
and beyond XSLT itself (ie; a browser and a server) and as such one
can't directly draw any conclusions about the properties of the XSLT
language? Yes, I am aware of the proofs of XSLT as a language being
Touring complete, it's just that I suspect that without some additional
qualification this isn't another such proof....  

As an example, wouldn't one have to show that there are no additional
capabilities passed onto XSLT via external parameter interpretation
(which, for this example, might be rendered moot by showing that Rogers
code doesn't use parameters -- I haven't looked at the code).

• Prev by Date: RE: ANN: EXSLT.NET 1.0
• Next by Date: RE: Grouping Problem
• Previous by thread: RE: Game of Life: an XSLT implementation
• Next by thread: RE: Sorting Problem-Thanks
• Index(es):
  • Date
  • Thread