讨论自动机理论

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