方向：理工
专业：计算机科学
适合人群：计算机科学,数据结构与算法,计算机工程,编程语言,数学
是否可以加论文：是
项目时长及形式：英文
产出：
7周在线小组科研学习+5周论文辅导学习 共125课时
学术报告
优秀学员获主导师Reference Letter
EI/CPCI/Scopus/ProQuest/Crossref/EBSCO或同等级别索引国际会议全文投递与发表（可用于申请）
结业证书
成绩单
项目介绍：
自动机是计算机科学中最基本的结构之一，其在编程语言语义、系统建模和验证中均有重要应用。余归推纳是一种证明环形结构的方法，项目的重点在于介绍余归推纳在推理形式语言及自动机中的应用。学生将在项目中自选加权或概率随机等自动机的变种进行研究，在项目结束时提交项目报告，进行成果展示。
Automata are among the most basic structures in Computer Science and have arange of applications in semantics of programming languages, modelling systems,and verification. Coinduction is a technique to prove properties about circular structures, of which automata and formal languages are an example. The main objective of this tutorial is to show how coinduction can be used effectively to reason about a large class of languages and automata. These include weighted and probabilistic variants of automata, as well as classical word and tree automata.
个性化研究课题参考 Suggested Research Fields
基于自动机理论的自动循迹搜索目标算法Automatic tracking target search algorithm based on automata theory
有穷自动机理论在自动化控制方面的应用The application of finite automata theory in automatic control
编译原理中的离散数学基础理论还原研究Fundamental theory of discrete mathematics in compilation
更多留学问题欢迎咨询晨晟留学之家，电话(同微信) 18071732056