Two Lower Bounds for BPA
Logic in Computer Science
2017-02-21 v1
Abstract
Branching bisimilarity on normed Basic Process Algebra (BPA) was claimed to be EXPTIME-hard in previous papers without any explicit proof. Recently it is reminded by Jan\v{c}ar that the claim is not so dependable. In this paper, we develop a new complete proof for EXPTIME-hardness of branching bisimilarity on normed BPA. We also prove the associate regularity problem on normed BPA is PSPACE-hard and in EXPTIME. This improves previous P-hard and NEXPTIME result.
Cite
@article{arxiv.1702.05578,
title = {Two Lower Bounds for BPA},
author = {Qiang Yin and Mingzhang Huang and Chaodong He},
journal= {arXiv preprint arXiv:1702.05578},
year = {2017}
}