Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
复制标题
无计数器自动机（麻省理工学院研究专着第 65 号）
DOI：
10.1007/bf02194921
复制
发表时间：
1971
期刊：
影响因子：
0.7
通讯作者：
S. Papert
中科院分区：
文献类型：
--
作者：
R. McNaughton;S. Papert
这篇文章是S. Eilenberg [5，P. B] pour caractériser certainies familles de semi-groupes Au moyen de constructions sur les parties de semi-groupes ou de monoïdes利夫雷斯.我们在这一介绍中介绍了关于乘数效应的概念和符号。Une Variété（de semi-groupes ou de monoïdes）est une famille d'objets contenant chaque diviseur（= objet quotient d'un sous objet）du produit direct de deux quelconques de ses membres.关于伯克霍夫”Au sens”的概念与核心的区别。为了限制我们对可交换半群和幂等半群策勒的研究，（这是伯克霍夫的两种Au意义上的变体），一种由两种变体组成的半群体联盟（qui n'en n'est pas une），半群的策勒（c 'est-à-dire dans lesquels chaque G-classe est un singolet）en prenant pour G l' une quelconque des relations J，R，L ou H de绿色色。J-triviaux半群的多样性是由I的一个深刻的理论描述的。Simon [14]; J. Brzozowski（[1]，[2]）的R或L半群在等级理论中的作用。Les semi-groupes ff-triviaux ont été introduits par R. Me Naughton（cf. [8]）。Nous suivrons S艾伦伯格是一个有着“先声”之称的人。本文的目的是提供一个变体，即Df，包含一个幂等元的半群不需要检查类。当半群的策勒不具有理想的主幂等元时，它是一个理想的主元
Cet article est une application des méthodes développées par S. Eilenberg [5, Vol B] pour caractériser certaines familles de semi-groupes au moyen de constructions sur les parties de semi-groupes ou de monoïdes libres. Nous nous permettrons dans cette introduction de rappeler quelques éléments des concepts et des notations de ce traité plutôt que d'y multiplier les références. Une Variété (de semi-groupes ou de monoïdes) est une famille d'objets contenant chaque diviseur (= objet quotient d'un sous objet) du produit direct de deux quelconques de ses membres. On notera la différence entre ce concept et celui de" variété au sens de Birkhoff". Pour nous limiter à des exemples qui interviendront par la suite, ci¬ tons la variété des semi-groupes commutatifs, et celle des semi-groupes idempotents (qui sont toutes les deux des variétés au sens de Birkhoff), la variété de semi-groupes union de groupes finis (qui n'en n'est pas une), celle des semi-groupes finis G-triviaux (c'est-à-dire dans lesquels chaque G-classe est un singolet) en prenant pour G l'une quelconque des relations J, R, L ou H de Green. La variété des semi-groupes J-triviaux est caractérisée par un théorème profond de I. Simon [14]; celles des semi-groupes R ou L triviaux jouent un rôle dans la théorie de la hiérarchie de J. Brzozowski ([1],[2]). Les semi-groupes ff-triviaux ont été introduits par R. Me Naughton (cf.[8]). Nous suivrons S. Eilenberg qui les nomme apériodiques. L'objet du présent article sera la variété, notée Df, des semi-groupes finis dont chaque «/-classe contenant un idempotent est un semi-groupe. Elle contient évidemment celle des semi-groupes finis dont chaque idéal principal idempotent est un idéal principal