康威和迭代半环

摘要:康威半环是没有乘法单位元的康威半环。我们还定义了满足与有限群相关的特定恒等式的迭代半环作为康威半环。迭代半环是没有乘法单位元的迭代半环。我们提供了康威半环和(部分)康威半环之间关系的分析,并描述了几种自由构造。在论文的第二部分,我们定义并研究了康威半环和迭代半环的半模,并展示了它们在分析加权转换系统的无穷性行为的定量方面的适用性。这些包括权重的折扣和平均计算。

作者:M. Droste, Z. Esik and W. Kuich

论文ID:1307.0725

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2013-08-01

PDF 下载: 英文版 中文版pdf翻译中