code: def diff(self):
          
          self.mmb.complement(self.alphabet)
          self.mmb.minimize()
          print 'start intersection'
          self.mmc = self._intesect()
          print 'end intersection'
          return self.mmc
docs: The Difference between a PDA and a DFA