Este documento describe las máquinas de estado finito, que son máquinas abstractas que reconocen cadenas de caracteres y devuelven una respuesta de "sí" o "no" basada en las transiciones entre estados. Comienzan en un estado inicial, pasan al estado siguiente según el carácter actual, y continúan hasta que la cadena esté vacía o no haya más transiciones, devolviendo "sí" si terminan en un estado final.