Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions
Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions
复制标题
Church-Rosser 系统、具有有限同步延迟和本地 Rees 扩展的代码
DOI：
10.1007/978-3-319-66396-8_2
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
L. Fleischer
中科院分区：
文献类型：
--
作者：
V. Diekert;L. Fleischer
什么是共同的链接，如果有的话，Church-Rosser系统，前缀码有界同步延迟，和本地里斯扩展？第一个明显的答案是，这些概念中的每一个都与单词感兴趣的主题有关：Church-Rosser系统是单词上的某些重写系统，代码是由单词集合给出的，这些单词集合形成了所有单词的自由幺半群中的自由子幺半群的基础（在给定的字母表上），局部Rees扩展提供了对单词上的正则语言的结构洞察。因此，它似乎是在WORDS 2017会议上提出的扩展摘要的合法标题。然而，这项工作更雄心勃勃，它概述了这些主题之间的一些不太明显但更有趣的联系。这个环节是基于结构理论的有限幺半群与品种的群体和概念oflocal因子发挥了突出的作用。这一工作的一部分出现在类似的形式在会议记录[6，10]的证据和进一步的材料可以找到。
What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is that each of these notions relates to topics of interest for WORDS: Church-Rosser systems are certain rewriting systems over words, codes are given by sets of words which form a basis of a free submonoid in the free monoid of all words (over a given alphabet) and local Rees extensions provide structural insight into regular languages over words. So, it seems to be a legitimate title for an extended abstract presented at the conference WORDS 2017. However, this work is more ambitious, it outlines some less obvious but much more interesting link between these topics. This link is based on a structure theory of finite monoids with varieties of groups and the concept oflocal divisorsplaying a prominent role. Parts of this work appeared in a similar form in conference proceedings [6, 10] where proofs and further material can be found.
登录
查看更多内容
对于 Mazurkiewicz 轨迹来说，纯粹的未来局部时序逻辑是表达完整的
DOI：
10.1016/j.ic.2006.07.002
发表时间：
2004
期刊：
Inf. Comput.
影响因子：
--
作者：
V. Diekert;P. Gastin
通讯作者：
P. Gastin
具有有限同步延迟的 Omega-Rational 表达式
影响因子：
0.5
作者：
V. Diekert;M. Kufleitner
通讯作者：
M. Kufleitner
DOI：
10.1016/j.tcs.2015.07.008
发表时间：
2015
期刊：
ArXiv
影响因子：
--
作者：
V. Diekert;M. Kufleitner
通讯作者：
M. Kufleitner
论非周期关系态射
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
B. Steinberg
通讯作者：
B. Steinberg
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
J. Almeida;O. Klíma
通讯作者：
O. Klíma