量化等价相关硕士博士期刊学术论文 - 信丰网

量化等价相关论文

带空移动的加权有限自动机量化等价及其转换

在经典的有限自动机理论中，带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推......

期刊

量化等价不确定的有限状态自动机加权自动机形式化验证 Quantitative equivalence Nondeterministic finite au

看过本文同时还关注