论文部分内容阅读
给出了∑-代数、∑-树、模糊∑-树自动机、模糊∑-树自动机行为的定义.引入了模糊树自动机语言的并、交、连接和Kleene闭包运算,证明了在这些运算下模糊树自动机语言的封闭性.
模糊树自动机语言的封闭性
【摘 要】
：
给出了∑-代数、∑-树、模糊∑-树自动机、模糊∑-树自动机行为的定义.引入了模糊树自动机语言的并、交、连接和Kleene闭包运算,证明了在这些运算下模糊树自动机语言的封闭性
【机 构】
：
电子科技大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2012年18期
【基金项目】
：
国家自然科学基金（No.11071178）
其他文献
日前，中国联通研究院推出了业务监测及网络优化整体解决方案“可维（Qualview）V1．0”，该解决方案由分析平台、可移动拨测终端、多接口网络探针组成，部暑后可为运营商网络优化、业务
开发具有低功耗、微内核、体积小,并且具有下载功能的嵌入式系统,是非常具有商业价值的。BitTorrent系统是P2P文件共享技术中应用较为广泛的一种,本文在分析通用的BitTorrent
<正> 江西省吉水县林业1982年普遍实行“三定”(稳定山林权属、划定自留山、确定林业生产责任制)政策后,形成了以家庭经营为主、多种所有制形式和多种经营方式并存的新格局。
【正】 南方木材市场的开放,结束了木材流通的单一经济形式、单一经营方式和单一渠道的历史。而在目前的多种经济形式、多条流通渠道的木材市场上,究竟何者为主导力量和主渠
随着3G时代的来临，越来越多的用户通过手机、上网卡访问互联网。为提升3G用户上网体验，本文提出基于DPI（Deep Packet Inspection，深度数据包检测）的内容缓存技术，对该技术的技术原
在粒子方法中,运用邻近粒子搜索算法可以快速获取每个粒子的邻近粒子信息.由于粒子方法模拟一个体系的行为所采用的粒子数据是十分庞大的,对计算机的运算速度提出了挑战.研究
为了充分利用多核CPU的资源，利用并行计算来处理问题已逐渐成为主流。利用Erlang中的并行机制计算机N-皇后问题，设计并实现了并行计算机N-皇后问题的算法。实验结果表明，该算法
国内外基于语料库的翻译研究主要集中在翻译共性、翻译规范、译者风格和翻译培训等涉及翻译理论和翻译实践方面的研究;提出的基于三元组可比语料库的自动语言剖析技术扩大了
【正】 社会主义经济是以公有制为基础的有计划的商品经济。商品经济的一个突出特点,是通过交换活动来组织社会生产。在商品经济形式下整个社会经济的运转,是以交换式的流通
针对图像中的强高斯噪声提出了一种新的小波阈值降噪函数。传统的软阈值法对图像去噪有明显的效果,但对强高斯噪声效果不甚理想,于是构造出一种新的小波阈值函数,此函数包含阈值λ,调节因子t和n三个参数,能够自适应地调节阈值的变化。实验以噪声图像与去噪后图像之间的峰值信噪比(PSNR)最大化为准则,采用PSO粒子群算法优化阈值函数中参数n和t的选取。仿真实验结果表明该方法不仅可以有效地去除噪声,又能避免有用