programming in finite state 8793230