• Descriptional complexity of pushdown store languages 

      Malcher, Andreas; Meckel, Katja; Mereghetti, Carlo; Palano, Beatrice (2012)
      It is well known that the pushdown store language P(M) of a pushdown automaton (PDA) M i.e., the language consisting of words occurring on the pushdownalong accepting computations of M is a regular language. Here, we ...