CompiledAutomaton
Create this, passing simplify=true, so that we try to simplify the automaton.
Create this. If simplify is true, we run possibly expensive operations to determine if the automaton is one the cases in AUTOMATON_TYPE. Set finite to true if the automaton is finite, otherwise set to false if infinite or you don't know.