关于一个串为正则语言中某串的串的判定算法

来源 :软件学报 | 被引量 : 0次 | 上传用户:xxw1314159
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出一个判定∑上的任意串s是否为一正则语言L中某个串的子串的算法,即设s为∑上的任一串,L是∑上的任一正则语言,则s为L中某个串的子串,当且仅当s为集合V_n={w∈∑|w∈L,|w|≤2n+k-2}中某串的子串,其中k=|s|,n是某个自然数。更多还原
其他文献
目的比较和分析肺部感染住院患者的经验性抗感染治疗疗效。方法对我院呼吸科2008年1月至2008年12月收治的237例肺部感染患者的临床资料进行回顾性分析。结栗用β-内酰胺类、
在这篇论文里,我们重点讨论在C语言里嵌入面向对象的查询语言OSDL所遇到的矛盾及处理方法,完整地提出了在C中支持使用OSDL的宿主语言接口OSDL-C。文中提出的宿主语言接口设计
近年来国内外有关脑血管病治疗的研究成果不断出现,本文主要就缺血性脑血管病若干较实用的治疗进展作一综述,供临床工作者参考。一、钙拮抗剂(CA):CA能选择性地防止或抑制抗
结合我市1987年度工作实际情况,我认为目前农村食品卫生工作中所存在的问题主要表现在如下几方面: 1.食品卫生监督人员缺少。我市农村有食品卫生专职人员4人,兼职5人。在食品
目的探讨控制学校肺结核病的有效方法。方法对深圳市某中学的全体学生及教职工进行X线胸透,对肺部有异影者进行PPD试验、摄胸片、痰抗酸杆菌检验。结果体检学生2619人,教职工26
为实现“2000年人人享有卫生保健”的全球目标打下基础,1988年5月,我们借鉴卫生部门职称评定工作的经验,大胆地在全市3000名乡村医生中开展了晋升乡村医师的工作。实践使我们
目的探讨微量注射泵使用过程中出现的问题及使用方法,以更好地发挥微泵作用。方法对我科7年微泵使用过程中出现地问题进行分析,并提出解决方法。结果解决了使用过程中人为因素
把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文
本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂
本文引进了U-循环的概念,并证明了所有U-循环项都是易项,从而刻画了一类易项的归约性质,这对于研究停机问题具有相当意义。