最新的Web开发教程
 

自动机理论教程


自动机理论是,与设计的自动跟随操作的预定顺序抽象自行计算设备涉及计算机科学的一个分支。 与有限数量的状态的自动机称为有限自动机 。 这是一个简明扼要的教程,移动到图灵机可判定之前介绍的有限自动机,正则语言和下推自动机的基本概念。


听众

本教程为学生攻读任何信息技术或计算机科学相关专业的学位编制。 它试图帮助学生掌握涉及自动机理论的基本概念。


先决条件

本教程有理论和数学的严谨性之间的良好平衡。 读者预计将有离散数学结构有基本的了解。