The Transformation Monoid of a Partially Lossy Queue
The Transformation Monoid of a Partially Lossy Queue
复制标题
部分有损队列的变换幺半群
DOI：
10.1007/978-3-319-58747-9_18
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
D. Kuske
中科院分区：
文献类型：
--
作者：
C. Köcher;D. Kuske
我们将有损FIFO队列的行为建模为由写入和读取序列引起的变换的么半群。为了得到可靠和有损排队的通用模型，我们将队列的字母表分成两部分：可遗忘的字母和可可靠传输的字母，我们用汇合和终止的半图厄系统来描述这个么半群，并研究了么半群的一些代数性质。特别是，我们完全刻画了一个这样的么半群何时可以嵌入到另一个么半群中，以及哪些迹么半群作为子么半群出现。与以前研究的可靠队列的情况相比，结果的情况要多样化得多。
We model the behavior of a lossy fifo-queue as a monoid of transformations that are induced by sequences of writing and reading. To have a common model for reliable and lossy queues, we split the alphabet of the queue into two parts: the forgettable letters and the letters that are transmitted reliably.We describe this monoid by means of a confluent and terminating semi-Thue system and then study some of the monoids algebraic properties. In particular, we characterize completely when one such monoid can be embedded into another as well as which trace monoids occur as submonoids. The resulting picture is far more diverse than in the case of reliable queues studied before.
登录
查看更多内容
队列动作的幺半群
影响因子：
0.7
作者：
Martin Huschenbett;D. Kuske;Georg Zetzsche
通讯作者：
Georg Zetzsche
关于验证公平有损通道系统
DOI：
--
发表时间：
2002
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
Benoît Masson;P. Schnoebelen
通讯作者：
P. Schnoebelen
关于无星语言的交换闭包的一个注记
影响因子：
0.5
作者：
A. Muscholl;H. Petersen
通讯作者：
H. Petersen
优先通道系统的力量
DOI：
--
发表时间：
2013
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
C. Haase;S. Schmitz;P. Schnoebelen
通讯作者：
P. Schnoebelen
迹上的组合学
DOI：
--
发表时间：
1990
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
V. Diekert
通讯作者：
V. Diekert