状态转移函数对加权自动机计算能力的影响

在非确定型加权自动机(NS-WA)与确定型加权自动机(DS-WA)的基础上,引入了状态转移函数是分明的非确定型加权自动机(NS-WA_c)与状态转移函数是分明的带空移动的非确定型加权自动机(NS-WA_(ε-c))的概念。在已知NS-WA与DS-WA不等价的结论下,进一步探究了NS-WA_c、NS-WA_(ε-c)与DS-WA之间的等价性,并给出了等价性证明以及相关的算法和例子。