public Automaton<BDD> CreateFromRegexes(RegexOptions options, params string[] regexes) { Automaton<BDD> sfa = null; foreach (var regex in regexes) { var sfa1 = converter.Convert(regex, options); sfa = (sfa == null ? sfa1 : Automaton<BDD>.MkProduct(sfa, sfa1)); if (sfa.IsEmpty) break; } return sfa; }