2 papers
cs.FL2016
The trace monoids in the queue monoid and in the direct product of two free monoids
Dietrich Kuske, Olena Prianychnykova
We prove that a trace monoid embeds into the queue monoid if and only if it embeds into the direct product of two free monoids. We also give a decidable characterization of these t…
cs.FL2015
On insertion-deletion systems over relational words
Igor Potapov, Olena Prianychnykova, Sergey Verlan
We introduce a new notion of a relational word as a finite totally ordered set of positions endowed with three binary relations that describe which positions are labeled by equal d…