[dox] Fixing the lexical rule for BinaryInteger

[H. S. Teoh]

On Fri, Aug 16, 2013 at 05:50:24PM -0700, H. S. Teoh wrote:
[...]
> <binaryLiteral> ::= "0b" <binaryDigits> <underscoreBinaryDigits>
> 
> <binaryDigits> ::= <binaryDigit> <binaryDigits>
> 		| <binaryDigit>
> 
> <underscoreBinaryDigits> ::= ""
> 		| "_" <binaryDigits>
> 		| "_" <binaryDigits> <underscoreBinaryDigits>
> 
> <binaryDigit> ::= "0"
> 		| "1"

Regex equivalent:

	0b(0|1)(0|1)*(_(0|1)(0|1)*)*


[...]
> <binaryLiteral> ::= "0b" <underscoreBinaryDigits> <binaryDigit> <underscoreBinaryDigits>
> 
> <underscoreBinaryDigits> ::= "_"
> 		| "_" <underscoreBinaryDigits>
> 		| <binaryDigit>
> 		| <binaryDigit> <underscoreBinaryDigits>
> 		| ""
> 
> <binaryDigit> ::= "0"
> 		| "1"
[...]

Regex equivalent:

	0b(0|1|_)*(0|1)(0|1|_)*


T

-- 
"How are you doing?" "Doing what?"