自由群的有限生成子群作为形式语言及其共增长
摘要：自由群F_m的有限生成子群H的正则语言L_H的研究。利用H的Schreier图的(扩展)核心，构建能够识别L_H的最小确定性有限自动机。然后，我们表征了使得L_H是不可约的有限生成子群H，并显式构造了能够识别L_H的遍历自动机。这种构造方法为我们计算H的倍增系列L_H(z)和L_H熵的方法提供了高效的途径。通过几个例子说明了该方法，并与基于H的Nielsen生成系统的L_H(z)计算方法进行了比较。
作者：Arman Darbinyan, Rostislav Grigorchuk and Asif Shaikh
论文ID：2106.11552
分类：Group Theory
分类简称：math.GR
提交时间：2023-06-22