论文部分内容阅读
讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机(包括确定型的有穷自动机与不确定型的有穷自动机)二者之间相互转换的方法,最后指出了这个方法可以适用于类似问题的求解.
一类有穷自动机的设计
【摘 要】
：
讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机(包括确定型的有穷自动机与不确定型的有穷自动机)二者之间相互转换的方法,最后指出了这个方法
【机 构】
：
西华大学数学与计算机学院,河北理工大学计算机与自动化学院
【出 处】
：
西华大学学报：自然科学版
【发表日期】
：
2005年4期
其他文献
作者根据电子商务站点工作流的特性,应用计算机系统性能模型,设计和实现了一个商务站点QoS控制器.该控制器使用了一个包含响应时间、吞吐率、丢包率的QoS综合量度指标并应用
金季玲是天津中医药大学第一附属医院妇科主任医师、教授、博士生导师,天津著名妇科专家。兼任世界中医药联合会妇科分会理事,中华中医药学会妇科分会副主任委员。从医40余年
针对干燥箱温度控制过程大滞后、控制动作单向性的特点，设计了模糊规则自调整的模糊控制器，介绍了此控制器的设计原理和实现算法，并给出了仿真结果。结果分析表明，此控制器具有良
9月26日,全国县级公立中医医院综合改革试点政策培训班在京举办。卫生部副部长、国家中医药管理局局长王国强强调,要进一步认清形势、把握重点、明确任务,在县级公立医院综合
利用分析焊接接头蠕变破坏的新方法--Cryo-Cracking法,研究了不锈钢0Cr18Ni12Mo2Ti焊接接头的蠕变失效行为,通过对试样断口进行电镜扫描,分析探讨了断口的形貌及温度对接头蠕
研究了线性时不变单一扰动系统的反馈控制,给出了能在慢模式(低频)和快模式(高频)为稳定和可测的假设下,单一扰动系统的反馈控制使系统稳定的控制器的参数计算.结果表明,任何
研究了3种不同的加热方式（煮沸、加压蒸煮、微波加热）对不同植物来源膳食淀粉消化性能的影响。结果表明：相比普通煮沸处理，加压蒸煮与微波加热对淀粉的消化性能影响较显著。加压
本文作者针对传统电子商务模式及其存在的问题,通过对XML数据表示方面的优势探讨,分析了XML 以及以XML为基础的电子商务解决方案,并对XML电子商务的安全性和发展趋势作了展望
为了认真贯彻落实《国务院关于扶持和促进中医药事业发展的若干意见》（国发〔2009〕22号）和《湖南省加快中医药发展五年行动计划（2011-2015年）》（湘政办发〔2011〕22号）等文件精神,
前期筛选获得1株高效转化L-谷氨酸为γ-氨基丁酸（GABA）的植物乳杆菌（Lactobacillus plantarum）GB01-21，该菌以浓度200g／L的L-谷氨酸为底物，发酵20h左右，能以99％的摩尔转化率生产γ-氨