Cabe aclarar que para cada gramática regular (a izquierda o a derecha) existe un autómata AFD o AFND que lo reconozca. Para cada lenguaje libre de contexto, existe un autómata de pila (tambien determinístico o no determinístico) que lo reconozca.