second finite automata lecture 4489330