自动机理论论文

基于有穷自动机的网络学习活动智能导航服务模型与算法研究
论文摘要与传统“一对多”的课堂教育相比,远程教育的最大优势在于能够借助各种计算机技术满足学习者的个性化需要,实现“以学生为中心”的差异化教学。为此,近年来一系列支撑个性化学习的...
自动机理论在验证PSL中的应用
论文摘要随着信息技术的发展，集成电路的规模和复杂度不断扩大，验证在这个项目的开发周期越来越长，而且集成电路市场竞争也越来越激烈。保证设计功能的正确性并尽量缩短产品投入市场的时间...