Recursively define the set of bit strings that have more zeros than ones

Recursively define the set of bit strings that have more zeros than ones.