局部除数技术综述

@第{Diekert2014ASO条，title={局部除数技术综述}，author={Volker Diekert和Manfred Kufleitner}，日志={ArXiv}，年份={2014}，体积={abs/1410.6026}，网址={https://api.semanticscholar.org/CorpusID:8620250}}
[PDF]语义阅读器
8引文
背景引文
1
方法引文
4

8引文

某些正则语言类的Parikh-reducing Church-Rosser表示

Church-Rosser系统，具有有界同步延迟和局部Rees扩展的码

这项工作概述了Church-Rosser系统、具有有界同步延迟的前缀码和基于具有各种群的有限幺半群结构理论的局部Rees扩展之间的一些不太明显但更有趣的联系，以及起着重要作用的局部除数概念。

明确的森林因子分解

研究了Simon森林因子分解定理的一个明确版本，为$\Sigma^{\infty}$中的任何单词提供Ramsey分裂，使得Ramsey分割的高度受a的状态数限制。

使用有界同步延迟前缀码刻画正则语言类

给出了幺半群按其群和局部Rees积的分解，并对Almeida和Kl’ima最近的一篇论文中关于Ree积下闭变种的一个问题给出了答案。

弦式传感器的许多方面

常规单词转义将常规语言的强大概念从定性推理扩展到定量推理。它们已经在形式语言理论的早期论文中得到考虑，但是…

非周期变换的SD-正则变换表达式

解决了表达式捕捉一阶可定义函数的问题，从而推广了Schützenberger的开创性结果SF=AP（无星表达式=非周期语言）。

单关系幺半群的Lyndon恒等式定理

对于每个单关系幺半群M=⟨Au=v⟩\documentclass[12pt]{minimal}\usepackage{amsmath}\userpackage{wasysym}\usrepackage{amasfonts}\uspackage{amssymb}\usebackage{amsbsy}\usepackage{mathrsfs}…

形式语言中的局部除数

5

47参考文献

有限字上一阶逻辑的小片段研究综述

利用代数方法证明了有限字上一阶逻辑片段的可表示性，并证明了Simon关于限制于非周期幺半群的因子化森林定理。

Krohn-Rowes定理与局部除数

该证明在大小方面提供了与Eilenberg的完整分解几乎一样好的分解，避免了对状态集大小的归纳，并且只适用于以群为归纳基的幺半群。

有限高度因子林

关于$nite height J’er’emie Chalopina的因子分解林

Simon（Theoret.Compute.Sci.72（1990）65–94）证明了从自由半群到$nite半群S的每一个态射都承认高度最多为9|S|的Ramseyan因子分解林。在本文中，…

Church Rosser同余的一些更正规的语言

我们证明了那些语法幺半群是有限群的语言是Church Rosser同余语言（CRCL）。然后我们将这个结果扩展到正则语言类…

工厂化森林的高度

证明了对于从A+到有限半群S的每个同态，存在一个高度最多为3的因子化森林，对于每个非平凡群，这个界是紧的。

一阶可定义语言

研究表明，如果正则1-语言是由某些Buchi自动机指定的，则正则1-语言的非周期性可以在多项式空间中确定。

正规语言与教会-宗教一致

本文给出了关于有限幺半群和减重字符串重写系统的一般结果。因此，它证明了形式语言理论中一个由来已久的猜想：所有规则…

Church-Rosser-Tue系统和形式语言

研究了具有Church-Rosser性质的Thue系统定义形式语言的三种方法，并研究了关于这三类语言的一些一般结果。

有限高度分解森林