I\'m trying to construct a formal regex for the language of binary strings in which every 00 must have at least two 1s before it.
I realize this can be d