Um Autômato Finito Determinístico (AFD) aceita ou rejeita cadeias de símbolos gerando um único próximo estado para cada cadeia de entrada, ou seja,...

Continuando a descrição, temos: - S é o alfabeto de entrada, ou seja, o conjunto de símbolos que podem ser lidos pelo autômato; - Q é o conjunto finito de estados do autômato; - d é a função de transição, que mapeia um estado e um símbolo de entrada para um próximo estado; - q0 é o estado inicial do autômato; - F é o conjunto de estados finais ou de aceitação do autômato. Assim, um AFD é uma máquina abstrata que pode ser utilizada para reconhecer linguagens regulares, ou seja, linguagens que podem ser descritas por expressões regulares. Ele é capaz de ler uma cadeia de símbolos de entrada e determinar se essa cadeia pertence ou não à linguagem reconhecida pelo autômato.