Um autômato é uma máquina, normalmente referida como robô, que é capaz de executar tarefas de maneira autônoma, sem controle externo, sejam estas tarefas pré-programadas ou não.

Formalmente, um autômato é definido como sendo um modelo matemático de uma máquina de estados finitos.

Um autômato funciona como um reconhecedor de uma determinada linguagem e serve para modelar uma máquina ou, se quiserem, um computador simples. É usado, por exemplo, em editores de texto para reconhecer padrões. Um conceito fundamental nos autômatos é o conceito de estado. Este conceito é aplicado a qualquer sistema. Trata-se da propriedade de estado, por exemplo, de estar ligado ou desligado.