public Automaton<BDD> CreateFromRegexes(params string[] regexes) { return CreateFromRegexes(RegexOptions.None, regexes); }