Mealy and Moore model machines state table and transition diagram