case studies finite state machines 5075299