Este documento describe los autómatas finitos no determinísticos y su aplicación en la teoría de lenguajes de programación. Explica que los autómatas finitos no determinísticos se diferencian de los determinísticos en que su estado siguiente no está determinado únicamente por el estado actual y el símbolo de entrada, sino que un símbolo puede conducir a más de un estado. El objetivo es que los estudiantes comprendan los conceptos básicos de los autómatas finitos no determinísticos y cómo se usan para reconocer patron