Update README.md

More appropriate FSM definition