CSCI 255 — An FSM example