lecture: lecture 13: finish automaton example 1