论文部分内容阅读
讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机(包括确定型的有穷自动机与不确定型的有穷自动机)二者之间相互转换的方法,最后指出了这个方法可以适用于类似问题的求解.
一类有穷自动机的设计
【摘 要】
：
讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机(包括确定型的有穷自动机与不确定型的有穷自动机)二者之间相互转换的方法,最后指出了这个方法
【机 构】
：
西华大学数学与计算机学院,河北理工大学计算机与自动化学院
【出 处】
：
西华大学学报：自然科学版
【发表日期】
：
2005年4期
其他文献
作者根据电子商务站点工作流的特性,应用计算机系统性能模型,设计和实现了一个商务站点QoS控制器.该控制器使用了一个包含响应时间、吞吐率、丢包率的QoS综合量度指标并应用
金季玲是天津中医药大学第一附属医院妇科主任医师、教授、博士生导师,天津著名妇科专家。兼任世界中医药联合会妇科分会理事,中华中医药学会妇科分会副主任委员。从医40余年
针对干燥箱温度控制过程大滞后、控制动作单向性的特点，设计了模糊规则自调整的模糊控制器，介绍了此控制器的设计原理和实现算法，并给出了仿真结果。结果分析表明，此控制器具有良
利用分析焊接接头蠕变破坏的新方法--Cryo-Cracking法,研究了不锈钢0Cr18Ni12Mo2Ti焊接接头的蠕变失效行为,通过对试样断口进行电镜扫描,分析探讨了断口的形貌及温度对接头蠕
研究了线性时不变单一扰动系统的反馈控制,给出了能在慢模式(低频)和快模式(高频)为稳定和可测的假设下,单一扰动系统的反馈控制使系统稳定的控制器的参数计算.结果表明,任何
本文作者针对传统电子商务模式及其存在的问题,通过对XML数据表示方面的优势探讨,分析了XML 以及以XML为基础的电子商务解决方案,并对XML电子商务的安全性和发展趋势作了展望