void get_automaton(struct options *opt);