@Article{         Jancar:2019aa,
  Author        = "Jan{\v c}ar, Petr and Schmitz, Sylvain",
  Abstract      = "Checking whether two pushdown automata with restricted silent actions are weakly bisimilar was shown decidable by S{\'e}nizergues (1998, 2005). We provide the first known complexity upper bound for this famous problem, in the equivalent setting of first-order grammars. This ACKERMANN upper bound is optimal, and we also show that strong bisimilarity is primitive-recursive when the number of states of the automata is fixed.",
  date-added    = "2019-01-29 14:50:58 +0100",
  date-modified = "2019-01-29 14:50:58 +0100",
  EPrint        = "1901.07170",
  Month         = "01",
  Title         = "Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete",
  URL           = "https://arxiv.org/pdf/1901.07170v1",
  Year          = "2019",
  bdsk-url-1    = "https://arxiv.org/pdf/1901.07170v1",
  bdsk-url-2    = "https://arxiv.org/abs/1901.07170",
  File          = "1901.07170 (0) - a - a - j.pdf"
}

@Article{ Jancar:2019aa, Author = "Jan{\v c}ar, Petr and Schmitz, Sylvain", Abstract = "Checking whether two pushdown automata with restricted silent actions are weakly bisimilar was shown decidable by S{\'e}nizergues (1998, 2005). We provide the first known complexity upper bound for this famous problem, in the equivalent setting of first-order grammars. This ACKERMANN upper bound is optimal, and we also show that strong bisimilarity is primitive-recursive when the number of states of the automata is fixed.", date-added = "2019-01-29 14:50:58 +0100", date-modified = "2019-01-29 14:50:58 +0100", EPrint = "1901.07170", Month = "01", Title = "Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete", URL = "https://arxiv.org/pdf/1901.07170v1", Year = "2019", bdsk-url-1 = "https://arxiv.org/pdf/1901.07170v1", bdsk-url-2 = "https://arxiv.org/abs/1901.07170", File = "1901.07170 (0) - a - a - j.pdf" }