The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids

被引：2
|
作者：
Kuske, Dietrich [1 ]
Prianychnykova, Olena [1 ]
机构：
[1] Tech Univ Ilmenau, Fachgebiet Automaten & Log, Helmholtzpl 5, D-98684 Ilmenau, Germany
来源：
DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016 | 2016年 / 9840卷
关键词：
Trace monoid; Queue monoid; Coding problem;
D O I：
10.1007/978-3-662-53132-7_21
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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 trace monoids.
引用
收藏
页码：256 / 267
页数：12
相关论文
共 50 条
  • [41] Direct sum decompositions of modules, almost trace ideals, and pullbacks of monoids
    Ara, Pere
    Facchini, Alberto
    FORUM MATHEMATICUM, 2006, 18 (03) : 365 - 389
  • [42] QUOTIENT MONOIDS AND GREATEST COMMUTATIVE MONOID IMAGES OF SEVERAL TYPES
    HEAD, T
    SEMIGROUP FORUM, 1979, 17 (04) : 351 - 363
  • [43] FOR WHICH PUISEUX MONOIDS ARE THEIR MONOID RINGS OVER FIELDS AP?
    Gipson, Ryan
    Kulosman, Hamid
    INTERNATIONAL ELECTRONIC JOURNAL OF ALGEBRA, 2020, 27 : 43 - 60
  • [44] All countable monoids embed into the monoid of the infinite random graph
    Bonato, Anthony
    Delic, Dejan
    Dolinka, Igor
    DISCRETE MATHEMATICS, 2010, 310 (03) : 373 - 375
  • [45] Approximating the mean speedup in trace monoids
    Bertoni, Alberto
    Radicioni, Roberto
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2008, 19 (03) : 497 - 511
  • [46] Fixed points of endomorphisms of trace monoids
    Rodaro, Emanuele
    Silva, Pedro V.
    SEMIGROUP FORUM, 2014, 89 (01) : 266 - 279
  • [47] Determinants and Mobius functions in trace monoids
    Choffrut, C
    Goldwurm, M
    DISCRETE MATHEMATICS, 1999, 194 (1-3) : 239 - 247
  • [48] Fixed points of endomorphisms of trace monoids
    Emanuele Rodaro
    Pedro V. Silva
    Semigroup Forum, 2014, 89 : 266 - 279
  • [49] Computing the average parallelism in trace monoids
    Krob, D
    Mairesse, J
    Michos, I
    DISCRETE MATHEMATICS, 2003, 273 (1-3) : 131 - 162
  • [50] A new graph based on the semi-direct product of some monoids
    Eylem Guzel Karpuz
    Kinkar Chandra Das
    Ismail Naci Cangul
    Ahmet Sinan Çevik
    Journal of Inequalities and Applications, 2013
12345