Um Automaton (um autômato, vários autômatos) é um conceito da matemática. Às vezes, o conceito é chamado de máquina de estado. É como uma máquina abstrata.

Tal máquina pode ser alimentada, o que é rejeitado ou aceito. É como uma máquina de venda automática. Quando algo é comprado, moedas (ou dinheiro) precisam ser inseridas na máquina. Se estas forem as moedas certas, elas são aceitas, e o item solicitado é descartado para que possa ser removido. Se as moedas estiverem erradas, elas são rejeitadas.

Internamente, o autômato tem diferentes estados em que pode estar. Alimentando-o pode (ou não) mudar seu estado. Dessa forma, o autômato passa por toda a entrada, consumindo um item (que os matemáticos chamam de símbolo) de cada vez. Quando nenhum símbolo é deixado, o autômato está em um determinado estado. Este pode ser um estado final. Neste caso, a entrada é aceita. Caso contrário, a entrada é rejeitada.

Se a máquina tem um número de estados contáveis e finitos, ela é chamada de máquina de estado finito. Um diagrama que mostra todos os estados e as transições de tal máquina é chamado de diagrama de estado finito.