class_docstr: A representation of a state managed by a ``StateMachine``.
  
  Attributes:
      name (instance of FreeGroupElement or string) -- State name which is also assigned to the Machine.
      transisitons (OrderedDict) -- Represents all the transitions of the state object.
      state_type (string) -- Denotes the type (accept/start/dead) of the state.
      rh_rule (instance of FreeGroupElement) -- right hand rule for dead state.
      state_machine (instance of StateMachine object) -- The finite state machine that the state belongs to.
code: def __init__(
      self, name, state_machine, state_type=None, rh_rule=None
  ):
      self.name = name
      self.transitions = {}
      self.state_machine = state_machine
      self.state_type = state_type[0]
      self.rh_rule = rh_rule
  
label_desc: Use image node_id 1 to create a new State object  with example: obj = State(name, state_machine, state_type, rh_rule)