Automatos Finitos deterministicos (AFD) e não determinicos (AFND). Na Teoria dos autômatos, um sub-tópico da Ciência da computação teórica, um autômato finito determinístico é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada.