论文部分内容阅读
在深入研究状态等价的充分条件的基础上．借鉴时序逻辑门电路中原始状态表化简的方法．给出基于合并思想的适用于任何DFA的最小化算法——隐含表法。
一种基于合并思想的DFA最小化算法
【摘 要】
：
在深入研究状态等价的充分条件的基础上．借鉴时序逻辑门电路中原始状态表化简的方法．给出基于合并思想的适用于任何DFA的最小化算法——隐含表法。
【机 构】
：
安庆师范学院计算机与信息学院助教中国科学技术大学信息科学技术学院硕士研究生
【出 处】
：
电脑学习
【发表日期】
：
2009年2期
【基金项目】
：
安庆师范学院教研项目（2006jy12）.
其他文献
针对关系度不确定非线性系统，基于模型预测控制理论和切换解析非线性模型预测控制（Nonlinear model predictive control，NMPC）提出了一种非切换的解析NMPC新方法．论证了在非切换解
本文对机房维护中常见问题进行了分析，着着介绍了机房中系统保护技术、数据恢复技术，并对机房中软件安全问题提出了解决的措施。
Windows3．1是一种可以多任务切换的系统，没有安全保护功能。任何一个应用程序都可以被用户轻易的切换或终止。因此，我们用VisualBasic编写了一个应用程序，为Win－dOWS3．1提供了安全
公开了含沸石、高岭土、氧化铝及/或氧化硅、氧化铋及质量分数为(100～5 000)×10-6Ni的催化裂化催化剂。Ni与氧化铋在流化催化裂化反应器环境中相互作用,提高了催化剂对磁