programming in finite state 9210273