| 加权有穷自动机的代数性质 |
| |
| 引用本文： | 张丽霞.加权有穷自动机的代数性质[J].计算机工程与科学,2014,36(11):2186-2190. |
| |
| 作者姓名： | 张丽霞 |
| |
| 作者单位： | 安庆师范学院数学与计算科学学院,安徽安庆,246013 |
| |
| 基金项目： | 安庆师范学院青年科研基金项目，安徽省优秀青年人才基金项目 |
| |
| 摘 要： | 在加权有穷自动机理论基础上，利用强同态的概念，证明两个加权有穷自动机在计算能力上是等价的，并在加权有穷自动机的状态集上建立一种等价关系，得到加权有穷自动机的商自动机，证明加权有穷自动机与其商自动机在计算能力上也是等价的。并通过引入加权有穷自动机的可交换性、分离性、(强)连通性及层的概念，讨论在(强)同态的条件下，两个加权有限状态机之间的可交换性、分离性、(强)连通性及层的关系。关键词：
|
| 关 键 词： | 形式幂级数 加权有穷自动机 同态 强连通 |
| 收稿时间： | 2014-07-10 |
| 修稿时间： | 2014-11-25 |
Algebraic properties of weighted finite state automata |
| |
| ZHANG Li-xia.Algebraic properties of weighted finite state automata[J].Computer Engineering & Science,2014,36(11):2186-2190. |
| |
| Authors: | ZHANG Li-xia |
| |
| Affiliation: | (School of Mathematics and Computation,Anqing Normal University,Anqing 246013,China) |
| |
| Abstract: | On the basis of the theory of weighted finite automata,we prove the computing equivalence between two weighted finite automatas under the strong homomorphism of weighted finite automatas, and obtain the quotient weighted automata by establishing the equivalence relation on the states of weighted finite automata.Based on the equivalence relation,the equivalence between weighted finite automata and its quotient automata is also proved.Specifically,the concepts such as commutability,separateness,(strong) connectedness properties and layers of weighted finite automata are introduced,and their relations in two different weighted finite automata are discussed under the homomorphism or strong homomorphism. |
| |
| Keywords: | formal power series weighted finite automata homomorphism strong connectedness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
