Is there a machine-readable version of HTML5 specs?

Question

I\'m looking for a machine-readable version of the HTML5 specs, akin to a DTD, although any format would do as long as it\'s parsable.

The HTML5 specs don\'t seem to

Answer 1

UPDATING

Since 2014-10-28 the HTML5 is a recommendation (!)... But this question is not obsolete (the validators now are more complex tham simple DTD).

ANSWER

there are no simple parser, as @ruediste clues show... Today, perhaps the best parser is at https://validator.nu/ ... so,

1. You show the first part of the answer: it is a complex parser, and validator.nu is a good parser.
2. the 2014-10-28 W3C's recommendation confirms that there are no simple parser (like a DTD or a list of elements) to say "this is a valid HTML5".
3. ... this other question show that, perhaps, only context (use/community) can validate the list of tags and attributes.