arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1801.10063cs.FLcs.CLcs.LO
收藏

一般类幺半群上(次)序列有理函数的刻画

Characterisation of (Sub)sequential Rational Functions over a General Class Monoids

Sofia University(索非亚大学);Bulgarian Academy of Sciences(保加利亚科学院)

Stefan Gerdjikov

摘要:

在这份技术报告中,我们描述了一类一般的幺半群,其中(子)序列理性可以用Myhill-Nerode关系中的同余关系来表征。我们考虑的幺半群类可以用自然代数公理来描述,包含自由幺半群、群、热带幺半群,并且在笛卡尔下是封闭的。

英文摘要:

In this technical report we describe a general class of monoids for which (sub)sequential rational can be characterised in terms of a congruence relation in the flavour of Myhill-Nerode relation. The class of monoids that we consider can be described in terms of natural algebraic axioms, contains the free monoids, groups, the tropical monoid, and is closed under Cartesian.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑