文章基本信息

标题：Tightening the Complexity of Equivalence Problems for Commutative Grammars
本地全文：下载
作者：Christoph Haase ; Piotr Hofman
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2016
卷号：47
页码：41:1-41:14
DOI：10.4230/LIPIcs.STACS.2016.41
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Given two finite-state automata, are the Parikh images of the languages they generate equivalent? This problem was shown decidable in coNEXP by Huynh in 1985 within the more general setting of context-free commutative grammars. Huynh conjectured that a Pi_2^P upper bound might be possible, and Kopczynski and To established in 2010 such an upper bound when the size of the alphabet is fixed. The contribution of this paper is to show that the language equivalence problem for regular and context-free commutative grammars is actually coNEXP-complete. In addition, our lower bound immediately yields further coNEXP-completeness results for equivalence problems for regular commutative expressions, reversal-bounded counter automata and communication-free Petri nets. Finally, we improve both lower and upper bounds for language equivalence for exponent-sensitive commutative grammars.
关键词：language equivalence; commutative grammars; presburger arithmetic; semi-linear sets; petri nets