加权有穷自动机的代数性质

摘要：

在加权有穷自动机理论基础上,利用强同态的概念,证明两个加权有穷自动机在计算能力上是等价的,并在加权有穷自动机的状态集上建立一种等价关系,得到加权有穷自动机的商自动机,证明加权有穷自动机与其商自动机在计算能力上也是等价的.并通过引入加权有穷自动机的可交换性、分离性、(强)连通性及层的概念,讨论在(强)同态的条件下,两个加权有限状态机之间的可交换性、分离性、(强)连通性及层的关系.

关键词：形式幂级数、加权有穷自动机、同态、强连通

所属期刊栏目：36

分类号：TP301(计算技术、计算机技术)

资助基金：安庆师范学院青年科研基金项目KJ201214;安徽省优秀青年人才基金项目2011SQRL097

在线出版日期：2014-12-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2186-2190