自动机理论是计算机科学的一个分支，致力于设计自动遵循预定操作顺序的抽象自走式计算设备。具有有限状态数的自动机称为有限自动机。这是一个简短的简洁教程，介绍了有限自动机，常规语言和下推自动机的基本概念，然后再介绍图灵机和可确定性。

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

先决条件

本教程在理论和严格数学之间取得了很好的平衡。希望读者对离散的数学结构有基本的了解。