Un autómata finito no determinista (abreviado AFND) es aquel que, a diferencia de los autómatas finitos deterministas, posee al menos un estado "q" ∈ "Q", tal que para un símbolo "a" ∈ Σ del alfabeto, existe más de una transición δ("q","a") posible.