基于矩阵模型表示的有限自动机的弱可逆性的判定

来源 :黔南民族师范学院学报 | 被引量 : 0次 | 上传用户:szRUIZHIZI
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
借助有限自动机矩阵模型表示方法,给出判定有限自动机弱可逆性的新算法。
其他文献
陕西省政府分别于2007年和2009年启动了两轮扩权强县改革,将近6年的改革使陕西省取得了不错的成绩,但扩权依旧存在一些问题,有碍扩权改革的进一步深化.笔者在借鉴浙江省和四
摘 要 在林业管理工作中,林業调查规划有着十分重要的意义,主要是将林业调查、检测以及管理等工作内容有机结合,并且按照当前我国林业发展的相关政策对其进行处理,从而对林业资源起到监督管理作用。鉴于此,通过介绍我国林业调查规划设计工作的现状,提出了相应的优化策略。  关键词 林业调查;规划设计;监督管理  中图分类号:S757.4 文献标志码:B DOI:10.19415/j.cnki.1673-890
近年来,农业现代化建设逐渐成为核心问题。培育新型职业农民对促进农业现代化发展起到了不可替代的作用。政府不断出台相关政策支持新型职业农民培育,应运而生的相关法律法规
试验评价单体转化率分别为76%和70%的ESBR(乳聚丁苯橡胶)1502(分别以HSBR和LSBR表示)的性能。结果表明:与LSBR相比,HSBR生胶的相对分子质量较小、相对分子质量分布宽度较大、结合苯乙
介绍了故障树分析软件系统(fault tree analysis software system,简称FATS)的总体结构、功能及其实现.FTAS以图形方式建立故障树,供用户选择.通过对FTAS作定性分析得系统的
高精度伺服系统因为要采用衰减很大的相位滞后校正而使系统成为条件稳定系统.而由于实际系统中存在着饱和环节,使条件稳定系统在大偏差下出现不稳定.利用运算放大器的饱和特
社会的进步,信息的多元化,图像时代已经到来。色彩这一造型因素,因其在视觉上的重要地位和信息传达上的独特优势,成为设计专业学习的重要课程。而以往的绘画色彩训练直接嫁接到设
针对轮胎产品普遍存在的变形过大,特别是胎侧段的屈挠变形过大问题,提出轮胎断面弯曲刚度的概念,研究弯曲刚度的影响因素,得出不同胶料和胎体帘布的截面弯曲刚度计算方法,并
1985年至今,我国职业教育已经发展30多年,经历了调整、发展、快速发展、持续发展四个时期。在每一阶段,职业教育政策对我国职业教育发展都起到了重要的作用。文章通过研究职
根据姿态系统的任务要求人为地选定一输出变量 ,然后应用微分几何方法 ,将这一输出变量的零阶及一阶Lie导数作为新的状态变量 ,并给出基于这两个新的状态变量的非线性状态反