code: def is_pushdown(self):
          
          return (self.num_stores == 3 and
                  self.state == 0 and self.has_cell(0) and
                  self.input == 1 and self.has_input(1) and
                  self.has_stack(2))
docs: Tests whether machine is a pushdown automaton.