Decidability / computability of HTML validation

• From: Andreas Kuckartz <a.kuckartz@ping.de>
• Date: 18 Jun 2014 10:50:08 +0200
• To: "HTML WG (public-html@w3.org)" <public-html@w3.org>
• Message-ID: <53A152C0.2050603@ping.de>

I have been informed about a discussion regarding the decidability of
HTML validation:
http://chat.stackexchange.com/transcript/message/16132162#16132162

Has decidability been discussed here before? Has it been proven?

Cheers,
Andreas

Received on Wednesday, 18 June 2014 08:50:53 UTC