5
$\begingroup$

In A Unifying Approach for Multistack Pushdown Automata, multistack visibly pushdown automata are defined in terms of an alphabet where each symbol is either a call or return for a particular stack or internal.

My question is, why is it necessary (or advantageous) to associate each call and return with a particular stack? Why is it not sufficient to label symbols with just call or return and let the same symbol push/pop from different stacks?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.