Storage mechanisms as monoids

存储机制为幺半群

• 批准号: 272263028
• 负责人: Professor Dr. Dietrich Kuske
• 金额: --
• 依托单位: Institut für Theoretische Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2015
• 资助国家: 德国
• 起止时间: 2014-12-31 至 2017-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/272263028?language=en
• 关键词: Storage; mechanisms; monoids

This research project models the behavior of storage mechanisms as monoids. Thereby, we investigate the relation between (language theoretic and algorithmic) properties of automata models on the one hand and algebraic properties of the monoids on the other hand. We consider in particular perfect fifo-channels, stacks and counter, but also their imperfect versions like lossy channels.

这个研究项目将存储机制的行为建模为幺半群。因此，我们调查之间的关系（语言理论和算法）属性的自动机模型的一方面和代数性质的monoid的另一方面。我们特别考虑完美的FIFO通道，堆栈和计数器，但也考虑它们的不完美版本，如有损通道。

项目成果

The inclusion structure of partially lossy queue monoids and their trace submonoids

部分有损队列幺半群及其踪迹子幺半群的包含结构

• DOI: 10.1051/ita/2018003
• 发表时间: 2018
• 期刊: RAIRO Theor. Informatics Appl.
• 作者: C. Köcher;D. Kuske;E. Prianychnykova
• 通讯作者: E. Prianychnykova

The Transformation Monoid of a Partially Lossy Queue

部分有损队列的变换幺半群

• DOI: 10.1007/978-3-319-58747-9_18
• 发表时间: 2017
• 作者: C. Köcher;D. Kuske
• 通讯作者: D. Kuske