分享到:

特殊可交换Thue系统的完备化

重写技术在计算机科学中应用很广 ,比如在定理机器证明、在抽象数据类型中的规则重写等 [1] .本文讨论的是一个特殊可交换 Thue系统的完备化问题 ,并给出了一个判断系统完备化的线性时间复杂度算法 ,而对一个一般 Thue系统而言 ,完备化问题是不可判定的 [2 ] .1 概念与定义1 .1 特殊 Thue系统令Σ表示一个有限字母表 ,Σ *表示Σ上的包含空字 e的所有字的集合 ,而Σ+表示Σ上所有非空字的集合 .|w|表示字 w∈Σ*的长度 ,归纳的定义有 :e|=0 ,|wa|=|w|+1 , w∈Σ*,a∈Σ .字 u和v的连接运算记作 uv ,定义字的方幂运算为 :w0 =e,  wn+1=wwn   ( w∈Σ*,n∈ N)  Σ上的 Thue系统 R是Σ*×Σ*的一个子集合 ,R中的元素叫作规则 ,可表示为 (l→ r) .记Rang(R) ={r| l∈Σ*,(l→ r)∈ R}  如果对 R的任意一个规则 (l→...  (本文共3页) 阅读全文>>

华中农业大学
华中农业大学

苏云金芽胞杆菌菌株CT-43中苏云金素合成基因簇中thuE基因的功能鉴定

苏云金素(Thuringiensin,简称Thu)是由某些苏云金芽胞杆菌产生的,具有杀虫活性的小分子核苷类似物。本实验室前期研究通过构建苏云金芽胞杆菌CT-43的总DNA的BAC文库,经过HPLC筛选得到苏云金素的合成基因簇,并对此基因簇进行序列分析。BLAST分析显示,基因thuE的序列和丝氨酸激酶具有较高相似性,推测基因thuE与苏云金素合成途径中的磷酸化有关。在此基础上,对菌株CT-43中的基因thuE进行同源双交换敲除,敲除得到的突变株CT-43-A3不产苏云金素。初步证明基因thuE和菌株CT-43中的苏云金素合成相关。本研究在此基础上,对突变株CT-43-A3中基因thuE的功能进行互补,对基因thuE的体外催化功能进行鉴定。本研究对突变株CT-43-A3中敲除的thuE基因进行功能互补,利用载体pHT304将含有启动子的基因thuE转入突变株CT-43-A3中,得到重组菌株。对得到的重组菌株发酵上清液进行HPLC分...  (本文共55页) 本文目录 | 阅读全文>>

《计算机研究与发展》1970年40期
计算机研究与发展

识别Thue系统不可约字集的有穷自动机的一个构作

识别Thue系统不可约字集的有穷自动机的一个构作王水汀(兰州商学院兰州730020)摘要本文给出了识别Thue系统不可约字集的有穷自动机的一个新的构作.关键词Thue系统,不可约字集,有穷自动机中图法分类号TP301.1CONSTRUCTIONOFAFINITEAUTOMATONRECOGNIZINGTHESETOFIRREDUCIBLEWORDSOFTHETHUESYSTEMWANGShui-Ting(LanzhouCommerceColege,Lanzhou730020)AbstractThispapergivesthenewconstructionofafiniteautomatonthatrecognizesthesetofirreduciblewordsoftheThuesystem.KeywordsThuesystem,setofirreduciblewords,finiteautomatonClassnumberT...  (本文共4页) 阅读全文>>

《数学学报》1960年50期
数学学报

特殊Thue系统表现的幺半群的两个性质

特殊Thue系统表现的幺半群的两个性质吴尽昭(中国科学院系统科学研究所,北京100080)谭红艳(兰州大学计算机系,兰州730000)摘要:本文给出了有限特殊Church-RosserThue系统表现的上半群是群或正则半群的两个充要条件.并由此获得了判定该种幺半群是否群、正则半群的十分简单的算法.关键词:Thue系统,幺半群,正规集,Green关系1前言近年来,TIne系统引起了人们的广泛注意,其中最重要也是人们最感兴趣的是通过归约来研究有限可表现么半群各种性质的可判定性.如果给定的TIne系统T是完备的,则由它确定的每个同余类只含唯—一个不可约字,并且由给定字W出发的归约在有限步内可达到W所在的同余类中的不可约字.显然,若T是有限完备的,则字问题可判定,并且许多一般情形下不可判定的问题,例如T表现的么半群的有限性等,此时都是可判定的.本文主要讨论减长的完备TIne系统(Church-ROsserTIne系统)T表现的么半群MT...  (本文共6页) 阅读全文>>