本节书摘来异步社区《游戏编程模式》一书中的第7章，第7.7节，作者： 【美】Robert Nystrom （尼斯卓姆） 译者： 赵卫兵 , 许新星 , 姜召阳 , 陈侃 , 屈光辉 , 郑炯彬 责编： 陈冀康，更多章节内容可以访问云栖社区“异步社区”公众号查看。

一个有限状态机甚至都不是图灵完备的。自动机理论使用一系列抽象的模型来描述计算，并且每一个模型都比先前的模型更复杂。而图灵机只是这里面最具有表达力的模型之一。

“图灵完备”意味着一个系统（通常指的是一门编程语言）是足够强大的，强大到它可以实现一个图灵机。这也意味着，所有图灵完备的编程语言，在某些程度上其表达力是相同的。但有限状态机由于其不够灵活，并不在其中。

我已经花了大量的时间来介绍有限状态机。现在我们一起来捋一捋。到目前为止，我跟你讲的所有事情都是对的，有限状态机对于某些应用来讲是非常合适的。但是，最大的优点往往也是最大的缺点。

状态机帮助你把千丝万缕的逻辑判断代码封装起来。你需要的只是一组调整好的状态，一个当前状态和一些硬编码的状态切换。

如果你想要用一个状态机来表示一些复杂的游戏AI，则可能会面临这个模型的一些限制。幸运的是，我们的前辈们已经发现了一些不错的解决方案。我将会在本章的最后简单地介绍它们。