利用等价类构造有限状态自动机

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jasonzheng1978
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
一类语言由任意字母表上的某种进制的数字串构成,要求该语言中的所有数字串能够整除N;构造有限状态自动机识别该类语言是困难的,本文提出了根据等价类构造一类有限状态自动机的方法。该方法可以针对所有字母表和所有进制的数字串构成的语言,而且满足语言中的所有数字串能够整除任意正整数N。该方法实用、简便。
其他文献
探讨了信息时代图书馆员的作用、应具备的综合素质及应掌控的先进技术工具等问题。
主曲线是穿过数据云“中间”的满足自相合性质的光滑曲线,它是线性主成分的非线性推广。在本文中,基于主曲线的自相合条件,构造一个微分方程,通过求解这个微分方程,我们得到了环形均匀分布的主曲线;通过对实验结果的分析与研究,我们得出了一些有趣的结论。
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM*.该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元
阐述了高校图书馆信息服务工作的重要性以及面临的挑战和存在的不足,指出高校图书馆要与时俱进,加强管理,扩大服务面,大力提高馆员素质,做好与读者之间的“交往”工作,不断提高服务
蘑菇肺9例临床分析焦彦湘(包头医学院一附院内科,包头014010)蘑菇肺又称为蘑菇工作者呼吸肺,蘑菇工作者肺。蘑菇肺是由于经常接触蘑菇后由平菇抱子引起的变态反应性疾病。它可以波及细支
阐释了对复合图书馆的认识,分析了建立复合图书馆的必要性,探讨了发展复合图书馆的思路及在具体业务中要注意的问题。
两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性。在本文中,我们使用π演算对两阶段提交协议进行描述,并对其正确性进行了证明,进一
椭圆曲线公开加密系统已经得到了广泛的应用,其中最重要并且花费运行时间最多的运算就是计算数量乘。为了提高数量乘的运算度,本文提出了一种用于加速椭圆曲线数量乘的容易实现
银屑病患者尿液乳酸脱氢酶同功酶分析李素萍,闫秀兰,焦林君,秦良谊(包头医学院一附院皮肤性病科,血红蛋白研究室,包头014010)为分析银屑病患者尿液中乳酸脱氢酶同功酶与病期之间的关系,我们
对36例感染性呼吸道疾病的病例,经多种抗生素治疗后效果仍不理想的久咳,采用了替硝唑治疗,效果良好。1临床资料1.1一般资料随机选择感染性呼吸道疾病71例,其中男性33例,女性39例;平均病史8.6年;年龄