Un automata finito es un modelo computacional que realiza cambios automáticos sobre una entrada utilizando un alfabeto de caracteres reconocidos, un conjunto de estados posibles, un estado inicial y al menos un estado final para producir una salida. El documento explica qué es un automata finito, los lenguajes que reconoce, ejemplos y operaciones lingüísticas, y diferencia entre automatas finitos deterministas y no deterministas.