docs: def _generate_state(self, trans):
          """
          Creates a new POP state (type - 2) with the same transitions.
          The POPed symbol is the unique number of the state.
          Args:
              trans (dict): Transition dictionary
          Returns:
              Int: The state identifier
          """
          state = PDAState()
          state.id = self.nextstate()
          state.type = 2
          state.sym = state.id
          state.trans = trans.copy()
          self.toadd.append(state)
          return state.id