A validator that checks for errors in a markup language