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