The automaton field is initialized lazily