形式语言与无限群

群体理发：梳理和形式语言的调查

Hairdressing in groups: a survey of combings and formal languages

一个群是可梳理的，如果它可以由满足同路人性质的词的语言来表示;一个自动群具有同步梳理，这是一种规则语言。这篇文章调查的结果可梳理的群体，特别是在梳理是一种形式语言的情况下。

作为记忆的形式语言和组

Formal languages and groups as memory

我们提出了一个博览会的理论，有限自动机增加了一个乘法只寄存器存储一个给定的幺半群或组的元素。其中包括许多基础性的新结果。我们说明了我们的技术与组理论的解释和乔姆斯基和Schutzenberger从形式语言理论的一个关键定理的证明。

具有无限线性有序乘积的群

Groups with infinite linearly ordered products

本文提出无限线性有序乘积的形式体系，用于定义超序列等幂级数群中的无限复合，并证明此类群可表示为有序阿贝尔群的半直积。

Isometry groups of formal languages for generalized Levenshtein distances

This article is a partial answer to the question of which groups can be represented as isometry groups of formal languages for generalized Levenshtein distances. Namely, it is proved that for any language the modulus of the difference between the lengths of its words and the lengths of their images under isometry for an arbitrary generalized Levenshtein distance that satisfies the condition that the weight of the replacement operation is less than twice the weight of the removal operation is bounded above by a constant that depends only on the language itself. From this, in particular, it foll…

字方程、约束与形式语言

Word equations, constraints, and formal languages

本文是一篇简短综述，介绍了群和幺半群中具有非有理约束的字方程的最新进展，并强调了形式语言在该领域的重要作用。