位置加法的非确定状态复杂性
摘要：基于 k 进制表示法的非确定性有限自动机被用来识别数字。假设数字从最低位开始读取。已证明，如果由含有 m 个状态的非确定性自动机表示的两个数字集合 S 和 T，那么它们的和 {s+t | s ∈ S, t ∈ T} 可由包含 2mn+2m+2n+1 个状态的非确定性自动机表示。此外，在所有 k>=9 的最坏情况下，该状态数目是必要的。
作者：Galina Jir''askov''a (Slovak Academy of Sciences), Alexander Okhotin (University of Turku)
论文ID：0907.5072
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-30