docs: def get(self, statediag, dfaaccepted):
          """
          # - Remove all the POP (type - 2) transitions to state 0,non DFA accepted
          # for symbol @closing
          # - Generate the accepted transitions
          - Replace DFA accepted States with a push - pop symbol and two extra states
          Args:
              statediag (list): The states of the PDA
              dfaaccepted (list):The list of DFA accepted states
          Returns:
              list: A cleaned, smaller list of DFA states
          """
  
          newstatediag = {}
  
          newstate = PDAState()
          newstate.id = 'AI,I'  # BECAREFUL WHEN SIMPLIFYING...
          newstate.type = 1
          newstate.sym = '@wrapping'
          transitions = {}
          transitions[(0, 0)] = [0]
          newstate.trans = transitions
          i = 0
          newstatediag[i] = newstate
          # print 'accepted:'
          # print dfaaccepted
          for stateid in statediag:
              state = statediag[stateid]
              # print state.id
              if state.type == 2:
                  for state2id in dfaaccepted:
                      # print state.id[1]
                      if state.id[1] == state2id:
                          # print 'adding...'
                          state.trans['AI,I'] = ['@wrapping']
                          # print state.trans
                          break
              i = i + 1
              newstatediag[i] = state
          return newstatediag