Este documento resume los conceptos clave de los autómatas finitos y las expresiones regulares. Explica que los autómatas finitos son modelos matemáticos que reconocen patrones en cadenas de entrada y los aceptan si conducen a un estado final. Incluye ejemplos de autómatas finitos deterministas y no deterministas, y define sus componentes. También provee una bibliografía sobre el tema.