切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
幺半环上一类有限状态自动机的约简性
幺半环上一类有限状态自动机的约简性
来源 :广西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:guohaoyan
【摘 要】
:
对幺半环上确定型有限状态自动机及其约简性进行定义,得出两个状态是否可分的判定方法,证明了幺半环上任意一个有限状态自动机都与一个约简的自动机等价,并给出了一个具体可行的
【作 者】
:
汤恒琦
易忠
邓培民
【机 构】
:
广西师范大学数学科学学院
【出 处】
:
广西师范大学学报:自然科学版
【发表日期】
:
2008年4期
【关键词】
:
幺半环
自动机
约简
等价
unitary semirings
automata
reduction
equivalence
【基金项目】
:
基金项目:国家自然科学基金资助项目(60473005),广西自然科学基金资助项目(0832103,0640061),广西研究生教育创新计划资助项目(2007106020701M48)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对幺半环上确定型有限状态自动机及其约简性进行定义,得出两个状态是否可分的判定方法,证明了幺半环上任意一个有限状态自动机都与一个约简的自动机等价,并给出了一个具体可行的算法,最后举例验证了这一结果。
其他文献
孔雀石绿的催化共振散射法测定痕量过氧化氢
在pH4.8的HAc-NaAc缓冲液中,辣根过氧化物酶(HRP)催化H2O2氧化过量KI生成I3^-,I3^-与孔雀石绿(MG)结合形成缔合微粒,导致体系的共振散射强度急剧增强。过氧化氢分别在6.86-274.8μg/L和6
期刊
共振散射
辣根过氧化物酶
过氧化氢
孔雀石绿
resonance scattering
horseradish peroxidase
hydrogen pe
基于CMFBG的波分复用/解复用器件的理论分析
根据耦合模理论,用传输矩阵法计算了啁啾Moire光纤布拉格光栅(CMFBG)的透射谱特性,分析表明其透射谱具有多个通带及好的通道隔离度.通过调整光栅各参数可获得通道间隔满足国
期刊
啁啾Moire光纤布拉格光栅
CMFBG
波分复用/解复用器件
透射谱
耦合模理论
光纤通信
chirped moire Fiber Bragg grating
[Cu(C8H6NO2)2(H2O)2]n的水热合成和晶体结构
合成了3-(3-吡啶基)丙烯酸(pda)配位聚合物[Cu(C8H6NO2)2(H2O)2]n。晶体结构分析表明该配合物为三斜晶系,空间群为P1,晶胞参数:a=0.7646(2)nm,b=0.9617(3)nm,c=1.1906(4)nm,α=66.233(4)°,β=80.653(6
期刊
3-(3-吡啶基)丙烯酸
铜(Ⅱ)配位聚合物
水热合成
晶体结构
3- (3-pyridyl) acrylate acid
copper ( Ⅱ) coord
不同干燥工艺对苹果粉品质的影响研究
不同的干燥工艺对苹果粉品质的影响不同,本文探讨了热风干燥、微波干燥、热风-微波干燥、热风-低温气流膨化、热风-微波-低温气流膨化这5种方法对苹果粉品质(持水力、膨胀力、V
期刊
干燥工艺
苹果粉
品质影响
Drying process
apple powder
quality influence
台湾乡村旅游考察札记
作为朝阳产业的重要组成部分,乡村旅游以其主题明确、节奏轻缓而被人们喜爱,最近几年,全国各地乡村旅游遍地开花。但就记者所见所闻,我们的乡村旅游普遍处在理念落后、经营粗放、
期刊
乡村旅游
台湾地区
衍生产品
经营内容
组成部分
朝阳产业
旅游开发
生态良好
基于UML的Windows环境下LEX模型的建立
现有的Unix下的词法分析器生成工具LEX不但结构比较复杂,生成的词法分析器庞大,不能很好地适应我们的需要,而且不能直接在Windows环境下使用,因此本文提出了在Windows环境下
期刊
UML
词法分析器
LEX系统
WLEX
UML
The lexical analyzer
LEX system
WLEX
湖北“大山鼎”蔬菜品牌建设的发展途径及措施
本文分析了“大山鼎”高山蔬菜品牌建设现状和存在的问题,总结了该品牌“五大平台”建设的基本做法,提出了“大山鼎”品牌建设的发展思路和规划目标,对恩施州乃至整个西南山区高
期刊
高山蔬菜
品牌建设
发展途径
Mountain vegetables
brand building
development ways
共轭置换子群与群的幂零性
利用群的某些共轭置换子群及极小阶反例法,研究了有限群的幂零性问题,并获得了一个群为幂零的若干充分条件。
期刊
共轭置换子群
幂零群
内幂零群
极小非幂零群
conjugate-permutable subgroups
nilpotent groups
minimal
结合贝叶斯推理技术的改进决策树研究
决策树是当前预测、决策和数据挖掘中常用的方法之一.通过对决策树的生成过程进行分析,针对现有方法中决策树过度生长带来的弊端,提出了一种结合贝叶斯推理技术思想的决策树
期刊
决策支持系统
决策树
贝叶斯推理
存储结构
数据库
decision support system
decision tree
Bayes logic
某工业厂房楼板裂缝的鉴定和加固处理
某工业厂房现浇混凝土楼面由于混凝土抗压强度偏低和负弯距钢筋下移,造成了抗弯承载力不足,出现了大量裂缝.考虑到楼面有后浇层,采取了板底碳纤维加固措施.
期刊
楼板裂缝
碳纤维加固
混凝土抗压强度
concrete crack
CFRP
grade of concrete
与本文相关的学术论文