论文部分内容阅读
文章主要讨论了线性有限自动机的同步序列，得到了线性有限自动机有同步序列的充要条件，还讨论了一类输入存贮线性有限自动机及可等价嵌入输入存贮线性有限自动机的极小线性有限自动机的同步序列。最后给出了判断线性有限自动机有无同步序列以及求线性有限自动机（最短）同步序列的一些算法。
线性有限自动机的同步序列及其生成算法
【摘 要】
：
文章主要讨论了线性有限自动机的同步序列，得到了线性有限自动机有同步序列的充要条件，还讨论了一类输入存贮线性有限自动机及可等价嵌入输入存贮线性有限自动机的极小线性有限
【机 构】
：
广西师范大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年24期
【基金项目】
：
国家自然科学基金资助项目（编号：60473005）,教育部优秀青年教师资助计划（编号：2002-40）,广西自然科学基金资助项目（编号：0640061）
其他文献
对Ad hoc网络各种路由协议进行仿真评估，分析它们在不同约束条件下不同度量的相对性能，是作者了解与学习路由协议性能的主要手段。目前的约束条件主要考虑无线传输模型、移动模
要统一思想，坚持走群众路线，增强社会主义主流舆论的引导力，将社会主义核心价值体系融入到国民教育的全过程。
面对日益激烈的建筑市场竞争，施工企业应科学、合理地进行投标报价，才能为中标打下基础，使企业获得良好的经济效益和社会效益。多方案报价、不平衡报价、增加建议方案和突然降价
文章从路径搜索的基本原理入手,首先介绍了经典Dijkstra最短路径搜索算法,分析比较了基于堆结构和基数堆结构的Dijkstra算法的搜索效率,从而提出了采用多层地图和分级搜索技术来实现对最短路径搜索空间的控制策略和算法,结合湛江市区电子地图进行对比实验,该算法有效地解决了最短路径搜索效率的问题。
进化算法求解多目标优化问题具有独特的优势。SP-MEC是一种新的利用思维进化算法（MEC）解决多目标优化问题的算法．数值实验结果验证了它的可行性与有效性。文章利用概率论的基本