Selected publications at LSV

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 Π2P upper bound might be possible, and Kopczyński 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.

   address = {Orl{\'e}ans, France},
   author = {Haase, Christoph and Hofman, Piotr},
   booktitle = {{P}roceedings of the 33rd {A}nnual {S}ymposium on {T}heoretical {A}spects of {C}omputer {S}cience ({STACS}'16)},
   DOI = {10.4230/LIPIcs.STACS.2016.41},
   editor = {Ollinger, Nicolas and Vollmer, Heribert},
   month = feb,
   pages = {41:1-14},
   publisher = {Leibniz-Zentrum f{\"u}r Informatik},
   series = {Leibniz International Proceedings in Informatics},
   title = {Tightening the Complexity of Equivalence Problems for Commutative Grammars},
   url = {},
   volume = {47},
   year = {2016},

About LSV

Select by Year