Finite state methods tutorial and workshop