donde {...} indica la subcadena reconocida como perteneciente a S.