论文部分内容阅读
引入了完备L-Fuzzy矩阵的概念，给出了基于格半群的模糊有限自动机的形式化定义，即完备格值有限自动机，研究了它的主要性质；给出了完备格值有限自动机的行为矩阵，从行为矩阵出发，给出了自动机状态等价和自动机等价的定义。最后，得到了该类自动机等价的判定算法。
格值有限自动机等价判定算法
【摘 要】
：
引入了完备L-Fuzzy矩阵的概念，给出了基于格半群的模糊有限自动机的形式化定义，即完备格值有限自动机，研究了它的主要性质；给出了完备格值有限自动机的行为矩阵，从行为矩阵出发，给
【机 构】
：
内江师范学院数学系,集美大学理学院数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年22期
【基金项目】
：
国家自然科学基金资助项目(编号:10571112);内江师范学院重点科研资助项目(编号:06NJZ-6)
其他文献
剖析学生在校发生人身损害赔偿案件的特点 ,对目前处理此类案件的做法进行评析 ,然后从侵权行为的归责原则着手 ,论证了学校只有在有过错的情况下才承担法律责任 ,在无过错的
大鼠穿支皮瓣是一种小型轴型皮瓣,是研究人穿支皮瓣的理想动物模型。本文就几种常见大鼠游离穿支皮瓣模型及皮瓣存活影响因素的研究进展作一综述。
随着分子生物学的发展,人们对慢性功能性便秘发病机制的研究大多从肠神经系统(ENS)、神经递质、结肠Cajal细胞(ICC)、水通道蛋白、胃肠激素和自由基分泌等方面进行,因此动物
依据景观生态学的基本原理,提出澄江县抚仙湖近面山区域的生态景观设计与绿化规划方案:①对可视域区域原有的受损生态系统进行生态重建和生态修复;②对坡度25°以上旱地实施
对82例糖尿病病人采取入院时护理评估,指导用药、合理膳食、适量运动、血糖监测加强自我保健指导,对住院当天,出院前1d,出院后6个月进行追踪调查,探讨护理干预对糖尿病病人自
"一群"是中心城市群,也就是"田园城市"和"社会城市",由核心区、生态隔离带和六个卫星城组成。核心区(青羊区、锦江区、金牛区、武侯区、成华区、高新区),就是社会城市里的中
“原罪”意识是深藏“五四”知识分子灵魂深处的恶性基因。上世纪初期,“原罪”之端倪已在“人力车夫”文学中得到具象显现。它与劳工神圣观念紧密结合,吞噬着知识分子的启蒙
在新媒体大行其道的环境下,传统媒体并未消逝。本文意在打破新与旧的区隔,探讨跨媒介、多媒介融合的可能性。以漫威为例,它巧妙地挖掘漫画、动画、电视屏、电影屏与网络的特
<正>广播电视新闻节目近年来已成为人们生活的必需品,然而不同时段不同新闻节目的播报方式对于主持人有不同的要求。我国早间新闻被公认起步于1993年的《东方时空》,它改变了
为了在全球范围内寻求资源的最优配置,降低成本,提高企业的核心竞争力,外包作为一种新的经营模式越来越被跨国公司所采用。本文将简述服务外包的理论基础,分析我国服务外包发