I think you need to determinize this: `BasicOperations.determinize(Automaton.union(automatons));`