Este documento explica la relación entre expresiones regulares y autómatas finitos, y cómo esto es importante para el desarrollo de analizadores léxicos. Define autómatas finitos determinísticos y no determinísticos, y da ejemplos de tokens que pueden ser reconocidos por autómatas como identificadores, números y comentarios.