Bisimilarity of Pushdown Systems is Nonelementary
Formal Languages and Automata Theory
2012-10-31 v1 Logic in Computer Science
Abstract
Given two pushdown systems, the bisimilarity problem asks whether they are bisimilar. While this problem is known to be decidable our main result states that it is nonelementary, improving EXPTIME-hardness, which was the previously best known lower bound for this problem. Our lower bound result holds for normed pushdown systems as well.
Cite
@article{arxiv.1210.7686,
title = {Bisimilarity of Pushdown Systems is Nonelementary},
author = {Michael Benedikt and Stefan Göller and Stefan Kiefer and Andrzej S. Murawski},
journal= {arXiv preprint arXiv:1210.7686},
year = {2012}
}