in reply to Number of bits, length of RegExp

The second one could be shorter:
^(0*10*10*)*10*$