从一个有限模糊的最大加自动机开始决定非歧义和顺序性
摘要：有限自动机的权重是在max-plus半环中考虑的。主要结果是：以有效的方式判断一个被有限模糊max-plus自动机识别的序列是否是非模糊的或者是序列的。给出了一系列的例子来说明max-plus序列在模糊性方面的层次结构。
作者：Ines Klimann (LIAFA), Sylvain Lombardy (LIAFA), Jean Mairesse (LIAFA), Christophe Prieur (LIAFA)
论文ID：0709.4117
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-09-27