eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2018-02-27
45:1
45:14
10.4230/LIPIcs.STACS.2018.45
article
Rational, Recognizable, and Aperiodic Sets in the Partially Lossy Queue Monoid
Köcher, Chris
Partially lossy queue monoids (or plq monoids) model the behavior of queues that can forget arbitrary parts of their content. While many decision problems on recognizable subsets in the plq monoid are decidable, most of them are undecidable if the sets are rational. In particular, in this monoid the classes of rational and recognizable subsets do not coincide. By restricting multiplication and iteration in the construction of rational sets and by allowing complementation we obtain precisely the class of recognizable sets. From these special rational expressions we can obtain an MSO logic describing the recognizable subsets. Moreover, we provide similar results for the class of aperiodic subsets in the plq monoid.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol096-stacs2018/LIPIcs.STACS.2018.45/LIPIcs.STACS.2018.45.pdf
Partially Lossy Queues
Transformation Monoid
Rational Sets
Recognizable Sets
Aperiodic Sets
MSO logic