News for hackers. Stuff that matters.
Re:HTML + CSS3 is Turing complete by ssp on Tuesday March 08, 2011 @01:32PM (#2302005)
I'm probably tilting at windmills, but it's Turing Equivalent, not Turing Complete.
Re:HTML + CSS3 is Turing complete by sid0 on Tuesday March 08, 2011 @01:51PM (#2302069)
It'll be a really big deal the day we find a model of computation more general than Turing machines. Till then, in most contexts they're interchangeable.

Also, if you really want to tilt at windmills, Turing complete is a weaker statement than Turing equivalent, so he isn't wrong.

Re:HTML + CSS3 is Turing complete by ssp on Tuesday March 08, 2011 @02:02PM (#2302120)
No, you are misunderstanding.

A language L is complete for a complexity class C if it is in C and all languages in C can be reduced to L. "Turing" is not a complexity class, so "Turing Complete" is nonsense. And if it did mean something, it would probably refer to a recursive language to which all other recursive languages could be reduced.

"Turing Equivalent" is something a programming language can be and doesn't have much to do with complexity theory.

Re:HTML + CSS3 is Turing complete by sid0 on Tuesday March 08, 2011 @02:04PM (#2302133)
"Turing" is not a complexity class, so "Turing Complete" is nonsense.

Good thing that complexity theory isn't the only part of CS that uses the notion of completeness. Turing (aka recursively enumerable functions) is a computability class, and it makes sense to talk about models of computation complete for that class.