-
题名格值树自动机的同余与同态
被引量:1
- 1
-
-
作者
胡忠刚
娄全福
-
机构
南昌工学院民族教育学院
-
出处
《模糊系统与数学》
CSCD
北大核心
2015年第4期135-138,共4页
-
文摘
从代数的角度研究了格值树自动机的同余与同态,得出了格值树自动机的同态基本定理,进而研究了格值树自动机的语言之间的关系。
-
关键词
格值树自动机
同余
同态
格值树语言
-
Keywords
Lattice-valued Tree Automata
Homomorphism
Congruence
Lattice-valued Tree Language
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名格值树自动机的乘积与覆盖
- 2
-
-
作者
孙小迎
胡忠刚
-
机构
南昌工学院
-
出处
《模糊系统与数学》
北大核心
2019年第2期45-49,共5页
-
基金
江西省教育厅科学技术研究项目(GJJ181058)
-
文摘
给出了格值树自动机的全直积、限制直积、级联积、圈积与覆盖的概念,讨论格值树自动机积之间的关系、格值树自动机的之间的覆盖关系以及格值树自动机的积之间的覆盖关系。
-
关键词
格值树自动机
同态
全直积
限制直积
级联积
圈积
覆盖.
-
Keywords
Lattic-valued Finite Automata
Homomorphism
Full Direct Product
Restricted Product
Cascade Product
Wreath Product
Coverings
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名格值交替树自动机
- 3
-
-
作者
魏秀娟
李永明
-
机构
陕西师范大学数学与信息科学学院
陕西师范大学计算机科学学院
-
出处
《软件学报》
EI
CSCD
北大核心
2019年第12期3605-3621,共17页
-
基金
国家自然科学基金(11671244,11271237)
高等学校博士学科点专项科研基金(20130202110001)~~
-
文摘
交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值树自动机的等价性,并给出了二者相互转化的算法及其复杂度分析;同时,提供了用格值非确定型自动机来模拟格值交替树自动机的方法.
-
关键词
格值交替树自动机
格值正布尔公式
对偶运算
格值计算树
接受运行
-
Keywords
L-valued alternating tree automata
L-valued positive Boolean formula
dual operation
L-valued computation tree
accepting run
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-