论文部分内容阅读
该文引入了单体二阶Lukasiewicz逻辑，进而给出了模糊有穷自动机识别语言的逻辑描述，证明了多值逻辑意义下的Buchi与Elgot基本定理．通过引入星-自由模糊语言与非周期模糊语言，刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言．
模糊有穷自动机与单体二阶Lukasiewicz逻辑
【摘 要】
：
该文引入了单体二阶Lukasiewicz逻辑，进而给出了模糊有穷自动机识别语言的逻辑描述，证明了多值逻辑意义下的Buchi与Elgot基本定理．通过引入星-自由模糊语言与非周期模糊语言，刻画
【机 构】
：
陕西师范大学计算机科学学院
【出 处】
：
计算机学报
【发表日期】
：
2008年10期
【基金项目】
：
本课题得到国家自然科学基金（10571112）、国家“九七三”重点基础研究发展规划项目专项经费（2002CB312200）和教育部重点研究项目（107106）资助.
其他文献
对等计算技术为Internet上海量节点之间计算和信息资源的共享提供了基础平台.对等节点的协作可以有效利用分布于各对等节点上的资源以解决单节点难以完成的复杂任务.然而对等
<正>酒精性肝病和由此继发的肝硬化的发病率及死亡率在全世界范围内都非常高。肠肝轴的变化是酒精性肝病动物和患者存在广泛炎症性环境的起始原因。尽管戒酒是治疗酒精性肝病
目的探讨不同临床类型乙型肝炎病毒(HBV)感染患者免疫功能水平,并分析HBV感染类型与免疫功能的相关性。方法纳入我院收治的HBV感染患者208例,根据不同临床类型分为A组(急性乙