Writing about State Machines

Erlang is a functional language that implements pattern matching. We can make use of this great feature to create declarative state machines.