Un autómata finito no determinista (AFND) es un autómata que puede tener más de una transición posible desde un estado dado para un símbolo dado, a diferencia de los autómatas finitos deterministas. Los AFND permiten representar lenguajes de forma más simple que los autómatas deterministas y son equivalentes a ellos en poder de reconocimiento. Pueden implementarse de varias formas como convirtiéndolos a autómatas deterministas equivalentes o manteniendo múltiples copias del autómata.