Descriptional Complexity of Pushdown Store Languages.

Andreas Malcher Katja Meckel Carlo Mereghetti Beatrice Palano

Published in: J. Autom. Lang. Comb. (2012)

Keyphrases

worst case
computational complexity
expressive power
cross lingual
real time
computational cost
model checking
language independent
lower complexity