【摘 要】
：
自动机是可同步的是指它具有满足以下性质的同步字:不论自动机当前所处的状态,以同步字为输入执行后它一定会到达某个特定状态。同步自动机问题的核心是计算最短同步字。聚焦
【机 构】
：
武汉大学计算机学院,华南农业大学数学与信息学院
【基金项目】
：
国家自然科学基金(61640221,61872272)
论文部分内容阅读
自动机是可同步的是指它具有满足以下性质的同步字:不论自动机当前所处的状态,以同步字为输入执行后它一定会到达某个特定状态。同步自动机问题的核心是计算最短同步字。聚焦于这一核心问题,文中就一类称为部分规约的确定的有限自动机的最短同步字问题,研究了近似计算这类自动机的最短同步字的复杂性,即近似计算它的难度,该工作有助于其近似算法的分析与设计。通过建立由两个优化问题(MAX SAT问题以及MAX FA-INT问题)到最短同步字长度计算这一问题(即Shortest-Syn)的归约,利用与概率可检验证明(Probab
其他文献
在人们印象中，提到“七窍”最易想到的词就是“七窍流血”。那么，七窍到底有多重要？所谓“七窍”，主要是指面部的七个孔窍，即眼二、耳二、鼻、口、舌。五脏的精气分别通达于七窍，所
在移栽期相同的情况下,生物质炭基肥的4个处理返青期均较常规对照提前1d,使秧苗提早返青,加快了分蘖进程,提早进入分蘖期。各处理在株高和穗长方面没有大的差异,生物质炭基肥
探索一种基于ASP．NET的压边浇冒口远程设计系统的开发方法。采用均衡凝固理论作为压边浇冒口设计理论；以ASP．NET作为系统的开发工具，使用Access作为后台数据源，并用ADO．NET技术连接
科学家证实，体重超过正常人体重10％以上（超重）者和体重正常者相比，患病的几率都高于体重正常者。45岁以上的人体重如果超过正常标准的10％，那么，每再超过1公斤，寿命就要，减少29天。肥胖
在乡村振兴战略中,城乡一体化的步伐加快,其中农民土地的流转和乡村文化的建设会影响农民的心理,进一步探讨土地流转和乡村文化是如何影响农民心理,了解和掌握乡村战略中农民
对于典型小家电产品规划项目中实施设计项目的办法中起到核心作用的各个环节进行研究,提出这些核心环节实行的意义与设计项目管理措施的补充意见,以取得以小见大的成效,归纳
10岁的小伟从小喜欢眨眼、揉眼，父母问他为什么要这样做，他说因为眼睛发痒难忍。特别是一遇到气候变阴冷，发痒症状更加明显，有时先是鼻子不舒服，连连打喷嚏。接着眼睛就痒起来，所以
成都中医药大学附属医院肾病内科承担的四川省重大疾病防治课题“糖尿病并发症肾病综合防治方案研究”，日前取得可喜进展。
像往常一样,我怀着愉快的心情,从寄自河南许昌市文联的信封里取出一张《漫画信息》报,打开一看,一条醒目的消息惊得我目瞪口果:沉痛悼念主编安晋松。我几乎不相信自己的眼睛,
前列腺的生理功能 第一，具有外分泌功能。前列腺是男性最大的附属性腺，亦属人体外分泌腺之一。它可分泌前列腺液，是精液的重要组成成分，对精子正常的功能具有重要作用，对生育非常