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

• 作者: 汪国武
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 量化等价 不确定的有限状态自动机 加权自动机 形式化验证
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 23-26,87
• 页数: 5页
• 分类号: TP301.1
• 字数: 6946字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2016.08.005

摘要

在经典的有限自动机理论中，带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型，它给经典自动机的每个转换赋一个取值于实数的权值，这些权值表示执行转换的代价。为了研究带空移动的加权有限自动机与不带空移动的加权有限自动机是否具有等价性这一问题，提出量化等价的概念，并研究如何将一个带空移动的加权有限自动机转换为一个与之量化等价的不带空移动的加权有限自动机。研究结果表明：这两者是量化等价的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪国武	安徽工程大学计算机与信息学院	3	0	0.0	0.0