带重数自动机的正律与对偶律
组合数学
2016-08-16 v1 离散数学
符号计算
摘要
我们在此给出源于 AMULT 包(多非交换变量下带重数的自动机)实现的理论结果。我们证明经典公式“几乎总是”最优,刻画了保持有理性的对偶律,以及与之相容的关系子。
引用
@article{arxiv.math/0607412,
title = {Direct and dual laws for automata with multiplicities},
author = {Gérard Duchamp and Marianne Flouret and Eric Laugerotte and Jean-Gabriel Luque},
journal= {arXiv preprint arXiv:math/0607412},
year = {2016}
}