En la teoría es importante porque establece que los AFNDs aunque son más flexibles, no pueden reconocer ningún lenguaje que un AFD no pueda reconocer.