lecture: lecture 13: begin next automaton