下推自动机和CFL的“更多代数”方法的参考？

在萨卡罗维奇关于自动机理论的书中，在自由群体的理性部分的导言中写道，其中介绍的材料奠定了“一种真正的上下文无关语言数学理论的基础”。然而，由于上下文无关的语言和下推自动机已经超出了本书的范围，因此并没有明确说明。

我知道自由团体（特别是Sakarovitch称为渐进半体）与下推自动机和无上下文语言（例如Dyck语言，Shamir定理等）的理论之间的某些联系。但是，我有一个很难找到真正建立起Sakarovitch所说的“无上下文语言的真正数学理论”的来源。

我发现的最接近的东西是Berstel关于转导和上下文无关语言的书。但是，乍一看，在我看来，这本书中下推自动机仅得到了一点处理，而自由群体的有理子集理论则根本没有应用。也许我正在寻找的材料打算用于Eilenberg的C卷，但我不确定。

因此，我想寻求一个指向书籍，调查问卷或一组论文的指针，从中我可以学到一些关于Sakarovitch的“上下文无关语言的真正数学理论”及其与自由群体及其理性的关系。子集。还是我正在寻找实际上不存在的东西？

1976年Sakarovitch的博士论文，题为Monoïdessyntactiques等语言algébriques（句法幺和代数语言），围绕这个话题转。当时，这导致了尖尖的类半定义的定义（例如，参见他的MFCS'75论文）。在80年代左右，研究CFL的代数选择对象转移到了Hotz小组-Sakarovitch甚至在Acta上也有关于该主题的论文。Inf。 据我所知，尖尖的类人猿没有得到应有的重视，尽管在Behle，Krebs等人中也可以找到相同的想法。; 同样，最近的一些方法，基于更复杂的工具，尤其是Stone对偶性，可能为此类研究提供良好的框架。

另一种现代的方法是我不熟悉的语法概念格上的 Clark 。

至于作者的真实意图，一种安全的方法是直接问他。

除了MichaëlCadilhac提供的参考文献之外，让我添加这篇论文

贝斯特尔，J。Boasson，L.转向上下文无关语言的代数理论。基金。通知。 25（1996），没有。3-4，217--239。