论文部分内容阅读
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.
格值自动机与语言
【摘 要】
：
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2003年4期
【基金项目】
：
国家自然科学基金，国家自然科学基金，教育部优秀青年教师资助计划，国家重点基础研究发展计划(973计划)
其他文献
研究了全蕴涵三Ⅰ算法及几种常用蕴涵的三Ⅰ MP解的还原性.利用新构造的函数ψx(t)=(A(x)→B(y))→(A*(x)→t),将三Ⅰ MP规则给予定量描述,得到了FMP(Fuzzy ModusPonens)问题