class_docstr: Representation of a finite state machine the manages the states and the transitions of the automaton.
  
  Attributes:
      states (dictionary) -- Collection of all registered `State` objects.
      name (str) -- Name of the state machine.
code: def __init__(self, name, automaton_alphabet):
      self.name = name
      self.automaton_alphabet = automaton_alphabet
      self.states = {}  # Contains all the states in the machine.
      self.add_state("start", state_type="s")
  
label_desc: Use image node_id 1 to create a new StateMachine object  with example: obj = StateMachine(name, automaton_alphabet)