论文部分内容阅读
讨论一类特殊集——有限群上的Word问题的可判断性及其算法。给出图厄系统及改写系统的定义，并证明了在有限改写系统上的Word问题是可判断的并给出了具有线性运行时间的算法。
改写系统的Word问题的算法及其复杂性
【摘 要】
：
讨论一类特殊集——有限群上的Word问题的可判断性及其算法。给出图厄系统及改写系统的定义，并证明了在有限改写系统上的Word问题是可判断的并给出了具有线性运行时间的算法。
【机 构】
：
重庆工商大学计算机科学与信息工程学院
【出 处】
：
重庆工商大学学报：自然科学版
【发表日期】
：
2004年1期
其他文献
山亭区卫生局党委一班人，带领全区卫生系统干部职工，以十七大精神为指导，认真贯彻落实科学发展观，充分发扬“新山亭精神”，紧抓机遇，开拓进取，坚定不移地推进卫生体制改革，不断提高山
为了能同时有效地消除发电机组的多个不稳定次同步谐振模式,提出了基于SVC的多通道SSR阻尼控制器（MSSRDC）的结构、设计原则和方法。基于相位补偿原理,MSSRDC利用多个独立模式控
<正>在线创建新文件成功完成了Share Point Server 2013与Office Web Apps 2013的连接之后,接下来我们可以来试试直接在文档库中,来添加一份Office文件,并且直接在与Office W
发卡涡是湍流相干结构研究中最为关注的内容,实现发卡涡三维结构的定量测量并进行流体动力学分析,对深入研究湍流相干结构、实现湍流精准控制等具有重要意义.本研究通过对合
1.补充一些演示实验,培养全面认识问题的能力 讲高二电解一课时,教材有电解氯化铜溶液的演示实验,为了让学生弄清电解原理,增加了用初中见过的霍夫曼电解器去电解硫酸钠溶液
产业链精神是产业链形成、发展过程中体现的、被产业链参与主体认识到的产业链发展的本质与客观规律。产业链精神来源于团队精神、工匠精神、企业家精神、商业精神和工业精神
天气雷达以较高的时空分辨率实时探测大气中的降水过程,在中小尺度降水监测中具有无可替代的优势。相比雨量计,用雷达估测降水具有明显的优势,但雷达资料的质量影响着降水估
云广±800kV直流系统采用双12脉动阀组串联的方式,设置了旁路断路器,通过旁路断路器的投退,实现对换流器单元的投切。针对在系统功能试验过程中发现的旁路断路器不正常运
针对城市轨道交通新站开通初期实时客流预测缺乏历史数据、客流波动大等问题,提出基于改进K近邻非参数回归的新站开通初期实时进出站客流量预测方法。考虑城市轨道交通客流生