自动机理论教程

自动机理论是计算机科学的一个分支，它涉及设计抽象的自推进计算设备，这些设备会自动按照预定的操作顺序进行。具有有限状态数的自动机称为有限自动机。这是一个简短而简洁的教程，介绍了有限自动机、正则语言和下推自动机的基本概念，然后转向图灵机和可判定性。

谁适合阅读？

本教程是为攻读任何信息技术或计算机科学相关领域的学生准备的。它试图帮助学生掌握自动机理论所涉及的基本概念。

需要具备的知识？

本教程在理论和数学严谨性之间取得了良好的平衡。读者需要对离散数学结构有基本的了解。