Recording the regular expression from which the automaton is created.