同时是最大加和最小加有理数的级数是明确的。
摘要：论域为有理数的自由幺半群到实数域的部分映射被考虑。我们展示了两个系列实际上是相同的：一方面是明确有理系列，另一方面是最大值加和最小值加的有理系列。等式的可判定性在这两个系列中已经被证明是成立的，但是使用了不同的证明方法，所以上述结果统一了这个图景。我们给出了一个有效的过程，从一个最大值自动机和一个最小值自动机中构建一个明确的自动机，它们可以识别相同的系列。
作者：Sylvain Lombardy (LIAFA), Jean Mairesse (LIAFA)
论文ID：0709.3257
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2007-09-21