lecture: lecture 13: add to automaton