In the context of web documents, the term HTML validator technically refers
to validation using DTDs by SGML tools. However, the common (non technical)
use of the term refers to checking an HTML document for various problems
using some type of computerized checker, and not necessarily by using a DTD
with SGML tools. Furthermore, the term HTML validation for HTML 5 cannot
mean validation using a DTD because HTML 5 does not use a DTD.