自動機理論 在理论计算机科学中自动机理论是对抽象机和它们能解决的问题的研究自动机理论密切关联于形式语言理论因为自动机经常按它们所能识别的形式语言类来分类