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?


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.