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 条
12345