@Article{         Srba,
  Author        = "Srba, Ji{\v r}{\'\i}",
  Abstract      = "We study (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basic Process Algebra) and visibly one-counter automata. We describe generic methods for proving complexity upper and lower bounds for a number of studied preorders and equivalences like simulation, completed simulation, ready simulation, 2-nested simulation preorders/equivalences and bisimulation equivalence. Our main results are that all the mentioned equivalences and preorders are EXPTIME-complete on visibly pushdown automata, PSPACE-complete on visibly one-counter automata and P-complete on visibly BPA. Our PSPACE lower bound for visibly one-counter automata improves also the previously known DP-hardness results for ordinary one-counter automata and one-counter nets. Finally, we study regularity checking problems for visibly pushdown automata and show that they can be decided in polynomial time.",
  date-added    = "2012-12-04 21:21:17 +0000",
  date-modified = "2012-12-04 21:21:53 +0000",
  EPrint        = "0901.2068",
  Keywords      = "visibly pushdown automata",
  Month         = "01",
  Title         = "Beyond Language Equivalence on Visibly Pushdown Automata",
  URL           = "http://arxiv.org/abs/0901.2068",
  Year          = "2009",
  bdsk-url-1    = "http://arxiv.org/abs/0901.2068",
  File          = "Beyond Language Equivalence on Visibly Pushdown Automata - Srba (0) (0) - a - a - q.pdf"
}

@Article{ Srba, Author = "Srba, Ji{\v r}{\'\i}", Abstract = "We study (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basic Process Algebra) and visibly one-counter automata. We describe generic methods for proving complexity upper and lower bounds for a number of studied preorders and equivalences like simulation, completed simulation, ready simulation, 2-nested simulation preorders/equivalences and bisimulation equivalence. Our main results are that all the mentioned equivalences and preorders are EXPTIME-complete on visibly pushdown automata, PSPACE-complete on visibly one-counter automata and P-complete on visibly BPA. Our PSPACE lower bound for visibly one-counter automata improves also the previously known DP-hardness results for ordinary one-counter automata and one-counter nets. Finally, we study regularity checking problems for visibly pushdown automata and show that they can be decided in polynomial time.", date-added = "2012-12-04 21:21:17 +0000", date-modified = "2012-12-04 21:21:53 +0000", EPrint = "0901.2068", Keywords = "visibly pushdown automata", Month = "01", Title = "Beyond Language Equivalence on Visibly Pushdown Automata", URL = "http://arxiv.org/abs/0901.2068", Year = "2009", bdsk-url-1 = "http://arxiv.org/abs/0901.2068", File = "Beyond Language Equivalence on Visibly Pushdown Automata - Srba (0) (0) - a - a - q.pdf" }