docs: def printer(self):
          """Prints PDA states and their attributes"""
          i = 0
          while i < self.n + 1:
              print "--------- State No --------" + repr(i)
              self.s[i].printer()
              i = i + 1