论文部分内容阅读
证明了由单关系式 <A ;a =bua >显示的半群或么半群字问题是可判定的 ,其中 A 为某字母表 ,a ,b∈A ,u∈ <a ,b > .方法是利用Adjan伪算法 ,因而证明了Adjan伪算法对此问题是算法 ,另外还初步给出了用此算法计算时的最大限
由单关系式〈A;a=bua〉显示的半群的字问题
【摘 要】
：
证明了由单关系式 <A ;a =bua >显示的半群或么半群字问题是可判定的 ,其中 A 为某字母表 ,a ,b∈A ,u∈ <a ,b > .方法是利用Adjan伪算法 ,因而证明了Adjan伪算法对此问题
【出 处】
：
哈尔滨工业大学学报
【发表日期】
：
2000年2期
【基金项目】
：
黑龙江省自然科学基金资助项目 !( 98-4 5 5 6)
其他文献
水书文字的识别研究对于水书文献数字化和保护有着重要的意义.实验证明,结合水书文字的特点,利用水书文字的字密度特征、宽高比特征和FCM对水书文字进行粗分类设计后,每个类
由上海市宝山区祁连镇中心校申请的专利（公开号CN202573657U，公开日期2012—1205）“多内胎车轮”，涉及的多内胎车轮的多个内胎依次沿外胎内壁排列。由于设有多个内胎，轮胎一处被扎
降凝剂对原油的降凝减粘效果受其分子结构，使用剂量，活化温度及所受剪切强度的影响，并与原油的品质有着密切的关系。为研制出适合大庆原油品质的降凝剂，合成了以苯乙烯－马来酸酐共
针对2011年全国大学生数学建模竞赛A题所给城市表层土壤重金属污染浓度数据的地貌空间变化特性，采用Kriging方法对数据进行插值拟合，得到了该城区各重金属元素的空间分布，通过聚
应用半经验量子化学AM1法得到了16种雌二醇衍生物的优势构象,利用量子化学算法和分子图形学技术获得电子结构、几何结构和拓扑结构参数,并将这些参数与雌二醇衍生物对微管蛋
采用多中心、开放性临床试验,观察国产瑞格列奈上市后治疗2型糖尿病的有效性和安全性。瑞格列奈治疗12周可显著降低空腹血糖、餐后2小时血糖和糖化血红蛋白水平,副作用轻微。
阶级斗争学说是马克思主义一条主要线索,指引全世界无产阶级解放道路。经典影视《恰同学少年》展现了毛泽东一代新青年探索马克思主义中国化的道路。五四运动前夕,毛泽东在湖
轮胎生产过程中需要多种骨架材料,在制造过程中容易出现一些不合格或贴合不正导致的废旧帘布,如果继续使用,不能保证轮胎的质量,传统的做法是将其废弃或人工将胶料与母线分离
介绍14．00R2020PR全钢载重子午线轮胎的设计。结构设计：外直径1245mm，断面宽372mm，行驶面宽度295mm，行驶面弧度高9．608mm，胎圈着合直径511mm，胎圈着合宽度267mm，断面水平轴位置（H1／H2）0．89
目的研究维生素D受体（VDR）基因BsmⅠ酶切位点多态性是否与糖尿病（DM）的易感性相关。方法采用PCR-RFLP方法分型并用x^2检验比较各组间基因型及等位基因频率的分布。结果全部研究对