论文部分内容阅读
定义了一种新的矩阵运算并由此给出了格值有限Mealy型自动机的定义。将转移矩阵M和输出矩阵O分别扩展到M^＊和O^＊。给出了格值有限Mealy型自动机的状态等价和自动机等价的定义。定义了状态最小化自动机并且得出了结论：任意一个格值有限Mealy型自动机都存在一个与之等价的状态最小化自动机。
基于有限格序幺半群的自动机理论的状态最小化
【摘 要】
：
定义了一种新的矩阵运算并由此给出了格值有限Mealy型自动机的定义。将转移矩阵M和输出矩阵O分别扩展到M^＊和O^＊。给出了格值有限Mealy型自动机的状态等价和自动机等价的定义。
【机 构】
：
四川托普信息技术职业学院
【出 处】
：
中国科技纵横
【发表日期】
：
2012年16期
其他文献
辛德毕斯(Sindbis)病毒病是由披膜病毒科甲病毒属中的辛德毕斯病毒引起的人和畜(羊、牛等)共患的疾病.经蚊虫传播,库蚊和伊蚊等是该病毒的传播媒介.主要表现为发热、关节痛和
期刊
目的：为伊维菌素更广泛临床应用提供科学依据。方法：用伊维菌素和内硫咪唑对人工感染旋毛虫各隔离种的小鼠进行疗效试验，观察其杀虫效果。结果30mg/kg.d的丙硫咪唑对猪旋毛虫、
印度基础教育发展取得了一定的成绩,但仍然是发展落后和不均衡,存在入学率低,辍学率高,女童及少数民族处于不利地位,家庭教育负担较高,经费分配结构不合理等问题。为了加快基
建立一种敏感而特异的肺炎衣原体分子生物学检测方法。方法用ＰＣＲ扩增约４６０ｂｐ的肺炎衣原体种特异性基因片段并标记成探针，建立了ＤＮＡ探针杂交检测肺炎衣原体的方法。结果：探针只与肺炎衣原体
CRM是现代营销管理理念和信息技术的完美结合。本文在对中国远程教育行业深刻理解的基础上，结合国际先进的管理思想和经验，论述远程教育业引XCRM系统的特征及必要性。通过远程
本实验旨在设计出一种能很好利用热管特性的，充分满足当今市场需求的制冷取暖设备，是一种控制、调节室内温度的装置。本文介绍了此实验装置的设计结构、工作原理以及应用效果。
在建筑物节能设计过程中，特别要注意门窗的节能，据统计门窗的长期使用能耗约占整个建筑物长期使用能耗的50％闺此，提高门窗保温性能是降低建筑物长期使用能耗的重要途径。本文主要
一、序论1920年代韩国虽然为了从日本帝国主义统治下使农村起死回生，从俄国引入实施了Vnardo农村启蒙思想，使韩国的农村取得了一些改变，可是在日本的太平洋战争中却成了受日本驱
恶性疟原虫主要裂殖子表面蛋白１（ＭＳＰ１）在其分子Ｃ－端ＭＰＳ－１１９具有两个类ＥＧＦ结构，其中类ＥＧＦ－１为特异性抗体抑制原虫侵入细胞的靶位之一。本文通过酚－氯仿抽提，乙醇沉淀法提取恶性疟原虫（ＦＣＣ－１ＨＮ株）基因组ＤＮＡ，再用ＰＣＲ扩增类ＥＧＦ－１基
隐孢子虫卵囊的无菌化及体外脱囊是进行虫体体外细胞培养不可缺少的环节，本试验通过使用不同浓度次氯酸钠提前处理卵囊，在不同脱囊液的条件下比较各处理组的脱囊率。试验结果表