Un tipo interesante de autómatas finitos deterministas son los llamados acíclicos y un ejemplo de éstos son los tries.