Validation of the definition of hex-digitp with respect to the ABNF grammar of Java.
The predicate hex-digitp defines hexadecimal digits `directly', i.e. without reference to the grammar. Here we introduce an alternative predicate based on the grammar, and we show it equivalent to hex-digitp.