fixed bugs in BasicAutomaton.regex(String).  There were problems with + | & and {} ranges