自动机（一个自动机，几个自动机）是数学中的一个概念。有时这个概念被称为状态机。它就像一个抽象的机器。

这样的机器可以被给予输入，要么被拒绝，要么被接受。这就像一台自动售货机。当买东西时，需要将硬币（或钱）放入机器中。如果这些硬币是正确的，它们就会被接受，所要求的物品就会被丢弃，从而可以被取出。如果硬币是错的，它们就会被拒绝。

在内部，自动机有不同的状态，它可以处于不同的状态。向它提供的输入可能（也可能不）改变其状态。这样，自动机通过所有的输入，一次消耗一个项目（数学家称之为符号）。当没有符号留下时，自动机就处于某种状态。这可能是一个最终状态。在这种情况下，输入被接受。否则，输入被拒绝。

如果机器有可数的、有限的状态数，它就被称为有限状态机。显示这种机器的所有状态和转换的图被称为有限状态图。