Can you compute all the Strings, including such as bbb and bba etc, and reject those that don't have more a's than b's?