格值自动机与语言

被引:41
作者
李永明
机构
[1] 陕西师范大学数学与信息科学学院陕西西安
关键词
格值自动机; 格半群; 格值语言; 正则运算;
D O I
10.15983/j.cnki.jsnu.2003.04.001
中图分类号
O159 [模糊数学];
学科分类号
070104 ;
摘要
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.
引用
收藏
页码:1 / 6
页数:6
相关论文
共 14 条
[1]  
Projective and injvective objects in the category of quantales. Li Y M,Zhou M,Li Z H. Journal of Pure and Applied Algebra . 2002
[2]  
Quantales and their applications. Rosenthal K L. . 1990
[3]  
A formal model of computing with words. Ying M S. IEEE Transactions on Fuzzy Systems . 2002
[4]  
Determinism and fuzzy automata. Bělohlvek R. Journal of Information Science . 2002
[5]   对偶Quantale及其性质 [J].
李永明 .
陕西师范大学学报(自然科学版), 2001, (01) :1-5
[6]   非可换线性逻辑及其Quantale语义 [J].
李永明 .
陕西师范大学学报(自然科学版), 2001, (02) :1-5
[7]   基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画 [J].
邱道文 .
中国科学E辑:技术科学, 2003, (02) :137-146
[8]  
Distributive lattices. Balbes R,Dwinger P. . 1974
[9]  
Modeling and control of fuzzy discrete even systems. Lin F,Ying H. IEEE Trans Systems Man and Cybernetics-part B: Cybernetics . 2002
[10]  
Fuzzy language on free monoid. Shen J Z. Journal of Information Science . 1996