自动机

---

(希腊语automatos——自行活动的) 无需人直接参加就能实现某些过程，发挥某些作用和进行某种操作(例如，工艺操作和控制生产的工艺程序等)的一种技术装置。

最简单的自动机远在古代就已经为人所知。在19世纪和20世纪自动车床就已广泛普及。近几十年来，自动机更得到了发展。

这种自动机利用反馈可以在不断起变化的条件下保持所要求的运转程序。

因控制论和电子计算技术的发展，已出现了一种能使过程处在最佳状态下进行的自动机。现代自动机的发展表明，它们不仅能代替人的膂力，而且还能承担原来由人脑所实现的一系列功能：选择运转的连贯性和方向，进行复杂的计算和逻辑推理，“记忆”信息，“积累”“经验”，进行“学习”等等。这就为脑力劳动的某些方面和某些过程实现自动化开辟了广阔的前景。把具体自动机的技术特性加以抽象，便引出了所谓抽象自动机这一概念。在理论控制论和数学逻辑这两门科学接合点上创立出来的抽象自动机理论，就是研究这样一种理想化装置：信息从其“入口”输入，被依据抽象自动机所处的状态加工处理，然后从“出口”输出。

抽象自动机，像实在自动装置一样，具有“有限的记忆”(即有限数量的状态)。

进一步的抽象就是把具有有限记忆自动机变为具有无限记忆的自动机。在现代逻辑中起著重要作用的抽象的“图林机器”这一概念就是这方面的一个例子。