欢迎来到天天文库
浏览记录
ID：46929018
大小：274.81 KB
页数：13页
时间：2019-11-30
《自动机理论特别培养计划》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、《有限自动机理论》特别培养计划内容电子科技大学计算机科学与工程学院1描述具体系统的状态迁移如：OS中的进程状态转换交通、电梯系统变换电话系统的状态变化监控系统的状态变化ATM机状态变化等进一步:考虑（正则）文法和DFA、NFA的自动构造方法。2图灵机计算模型关于负数的图灵可计算问题；关于实数的图灵可计算问题；3应用领域软件测试软件混淆与反混淆模式识别人工智能与自动控制系统图象处理4无限状态自动机理论模型的建立与应用研究5自动机的各类变形理论模型的建立(可以参考或改进量子图灵机)6图灵机算法复杂度分析计算复杂度
2、理论是计算理论的一部分，研究计算问题时所需的资源。最常见的资源是时间（要通过多少步才能解决问题）和空间（在解决问题时需要多少存储空间）。6图灵机算法复杂度分析对图灵算法复杂度的分析，考虑的因素除图灵读/写头移动过的单元数目、存储的信息数量（修改单内容的次数）外，还包括指令的数量和指令的执行次数汇编算法复杂度分析除了传统的算法复杂度因素考虑，对汇编指令的指令数量、指令的执行次数、数据内存数量和寄存器数量等因素的复杂度分析，以改进编译理论中相关内容，并应用到嵌入式环境的交叉编译技术中。7证明利用有限自动机证明语言
3、运算的封闭性；8交叉、融合有限自动机理论与相关领域（如模式识别、人工智能、自动控制系统、图象处理）的交叉、融合情况；9自拟订方向只要与自动机有关均可
此文档下载收益归作者所有
