starting chapter 3: Finite Automata