Finite state modeling