Added State Machine examples. Not sure of Mealy