Visitors: INTRODUCTION TO THE DESIGN OF AUTOMATA: STATE MACHINES