摘要：是否可判定给定字母表上的所有单词的子串历史值是否都为非负值的开放问题的不可判定性及其强化条件。
作者：Shinnosuke Seki
论文ID：1108.2758
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-08-16
PDF 下载： 英文版 中文版pdf翻译中