KaL 语言的描述复杂度：自动机、幺半群和变种
摘要：形成语言多项式层次结构的第一步是考虑形式为KaL的语言，其中K和L是在有限字母表A上的语言，V是给定的语言类别，a是A的一个字母。所有这样的KaL生成语言类别BPol1(V)。 我们根据K和L的数值参数估算出语言KaL的参数。这些参数包括最小完备DFA的状态复杂度和句法平台的大小。我们还估算了A*在K和L的句法平台的乘积中的图像的基数。在这三种情况下，我们得到了最优界限。 最后，我们还考虑了在与BPol1(V)对应的单子范畴中自由单子的基数的估计，该估计是根据与V对应的单子范畴中自由单子的大小来进行的。
作者：Ondv{r}ej Kl''ima (Department of Mathematics and Statistics, Masaryk University Brno, Czech Republic), Libor Pol''ak (Department of Mathematics and Statistics, Masaryk University Brno, Czech Republic)
论文ID：1008.1655
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-08-11