多规则函数的砾石最小化
摘要：多规则的字对字函数是正则的，当且仅当其输出大小至多与输入大小成线性关系。此外，可以通过具有两个鹅卵石的转换器实现多规则函数，当且仅当其输出与输入的大小成二次关系；可以通过具有三个鹅卵石的转换器实现多规则函数，当且仅当其输出与输入的大小成三次关系，以此类推。此外，该特征是可判定的，并且对于给定的多规则函数，可以计算出一个用最小数量的鹅卵石实现它的转换器。我们将结果应用于从字到字的mso解释。我们表明，维数为k的mso解释恰好与k个鹅卵石的转换一致。
作者：Nathan Lhote
论文ID：2006.16645
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-02-16