Erlang stands out for me as having a state machine library in the standard library (gen_fsm).