View of Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

Return to Article Details Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation Download Download PDF