Re: HTML 5 and conformance checkers

On Thu, 2007-06-14 at 15:22 +0900, Karl Dubost wrote:
> Le 14 juin 2007 à 14:16, Henri Sivonen a écrit :
> > The applicable conformance criteria are [machine-checkable]  
> > criteria for document conformance both in the spec itself and in  
> > normatively referenced other specs.
> Yes on the same line here. My trouble is what is [machine-checkable].
> I see possible discussion on people argueing on what is automatically  
> checkable or not.

While people might disagree, the question of what is machine
checkable is settled, to my satisfaction. It's science,
not art/law/politics.

"all ordinary computers are equivalent to each other in terms of
theoretical computational power, and it is not possible to build a
calculation device that is more powerful than the simplest computer (a
Turing machine). Note that this formulation of power disregards
practical factors such as speed or memory capacity; it considers all
that is theoretically possible, given unlimited time and memory."

Dan Connolly, W3C

Received on Thursday, 14 June 2007 16:55:28 UTC