Mealy Machine Transition Diagram

This is a transition diagram for a Mealy machine of a scanner with the given tokens and properties. Note that the specific state transitions are not provided, so this is a general representation.