论文部分内容阅读
提出取值为格半群的Mealy格值有限自动机的概念，进而得到基于模糊字符串的Mealy格值有限自动机的扩张模型，并较详细讨论了其性质。同时定义了扩张的完备Mealy格值有限自动机的行为矩阵，在此基础上给出了其最小化算法。
基于模糊字符串的Mealy格值有限自动机及其最小化
【摘 要】
：
提出取值为格半群的Mealy格值有限自动机的概念，进而得到基于模糊字符串的Mealy格值有限自动机的扩张模型，并较详细讨论了其性质。同时定义了扩张的完备Mealy格值有限自动机的
【机 构】
：
四川师范大学数学与软件科学学院,成都西藏中学
【出 处】
：
模糊系统与数学
【发表日期】
：
2009年3期
【基金项目】
：
国家自然科学基金资助项目（10671030）,四川省青年科技基金资助项目（07ZQ026-114）
其他文献
分析了n元模糊逻辑函数集合中的偏序结构，论证了该集合M={f｜f：[0，1]^n→[0，1]，Ax∈[0，1]^n，f（x）∈[0，1]）是一个双格半群。并且M关于其上定义的等值关系构成的商集W={Ci｜Ag∈Cf M，f（x）=g（x），f，g∈M
中国IT管理外包市场正在进入“黄金时代”，据IDC预测，到2011年IT管理外包市场份额将达到6．1亿美元，年增长率达到20．2％。
IT管理如何与企业业务目标达成一致？企业如何利用现有IT资源有效提升业绩？怎样才能合理规避企业未来的风险？“改善服务管理水平、保障业务连续性和弹性、加强IT安全防护，IBM有能
统计是掌握国民经济运行情况的重要手段，统计信息是社会经济信息的主体，已成为人们认识客观世界必不可少的工具。林业统计工作是林业管理机关和林业企业对本单位进行科学管理、
北京中科金财科技股份有限公司（以下简称“中科金财”）以“提高用户业务与管理水平，落实员工职业生涯规划，成为持续性成长的世界级IT服务企业”为使命，提供软件咨询、开发、系统集
时间约束Ｐｅｔｒｉ网是具有广义时间约束的一类Ｐｅｔｒｉ网。时间约束的引入使用ＴＣＰＮ’ｓ的演化与系统第一时间刻的状态密切相关。导致网的动态复杂性。目前有关ＴＣＰＮ’Ｓ状态可达性的研究仅局限于一些简单的
高校伙食财务管理是是高校整个后勤管理工作的重要组成部分,因为它关系到学生的一日三餐,与每一个学生的切身利益息息相关;同时,高校伙食财务管理又是高校整个财务管理的一个
就在国外引发软件业服务化浪潮时，国内企业也乘势而起，出现了众多的AaaS运营商。中企开源就是其中之一，它主要面向中小企业市场提供IT应用服务。中企开源具有8年以上的IT应用服
目前民办高职院校学生普遍存在学习积极性不高等问题，为此教师们进行了很多相关讨论，然而真正落实到学生身上的却少之又少。为了克服这一现象，会计与审计专业团队设计了一系列特