Este documento presenta la teoría de los autómatas finitos deterministas. Explica que los autómatas finitos se pueden usar para reconocer patrones en cadenas de entrada y construir analizadores léxicos, y que existe una relación entre autómatas finitos y expresiones regulares. Luego define un autómata finito determinista y explica que en estos el estado siguiente está determinado unívocamente por el estado actual y el símbolo de entrada.