Register automata are one of the most studied automata models over infinite alphabets. The complexity of language equivalence for register automata is quite subtle. In general, the problem is undecidable but, in the deterministic case, it is known to be decidable and in NP. Here we propose a polynomial-time algorithm building upon automata- and group-theoretic techniques. The algorithm is applicable to standard register automata with a fixed number of registers as well as their variants with a variable number of registers and ability to generate fresh data values (fresh-register automata). To complement our findings, we also investigate the associated inclusion problem and show that it is PSPACE-complete.
@InProceedings{murawski_et_al:LIPIcs.MFCS.2018.72, author = {Murawski, Andrzej S. and Ramsay, Steven J. and Tzevelekos, Nikos}, title = {{Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata}}, booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)}, pages = {72:1--72:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-086-6}, ISSN = {1868-8969}, year = {2018}, volume = {117}, editor = {Potapov, Igor and Spirakis, Paul and Worrell, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2018.72}, URN = {urn:nbn:de:0030-drops-96544}, doi = {10.4230/LIPIcs.MFCS.2018.72}, annote = {Keywords: automata over infinite alphabets, language equivalence, bisimilarity, computational group theory} }
Feedback for Dagstuhl Publishing