本文以统一的概率型有限自动机(Probabilistic Finite Automata, PFA)模型为基础,通过将人工神经网络、全局分枝一约界算法和自适......