这里给大家分享一些格值正则语言的代数性质,本文共2篇,供大家参考。本文原稿由网友“好喝的味噌汤”提供。
篇1:格值正则语言的代数性质
格值正则语言的代数性质
本文主要从可容集的角度研究了格值正则语言, 给出了一个语言是格值正则语言的充要条件, 并说明了格值正则语言关于商是封闭的'.
作 者:邵海成 梁常建 SHAO Hai-cheng LIANG Chang-jian 作者单位:商丘师范学院软件学院,河南商丘,476000 刊 名:西南民族大学学报(自然科学版) ISTIC英文刊名:JOURNAL OF SOUTHWEST UNIVERSITY FOR NATIONALITIES(NATRUAL SCIENCE EDITION) 年,卷(期): 35(6) 分类号:O235 TP301.1 关键词:格值正则语言 可容集 代数性质篇2:基于有限格蕴涵代数的格值命题逻辑语义系统
基于有限格蕴涵代数的格值命题逻辑语义系统
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统.研究了在A水平上系统的.赋值和公式的可满足性等基本定义,证明了系统“有效性”的可判定性并给出了判定算法.
作 者:马骏 秦克云 徐扬 作者单位:西南交通大学应用数学系,四川,成都,610031 刊 名:西南交通大学学报 ISTIC EI PKU英文刊名:JOURNAL OF SOUTHWEST JIAOTONG UNIVERSITY 年,卷(期):2002 37(5) 分类号:O141.1 关键词:多值逻辑 逻辑代数 格蕴涵代数格值正则语言的代数性质.doc
将本文的Word文档下载到电脑,方便收藏和打印
推荐度:
点击下载文档
最新范文更多
热门文章
猜你喜欢