[L2] Span Vacíos

[Hernan4444]

Hola,

Estoy revisando el algoritmo de Leftmost-Longest y aunque un estado inicial sea también final, no se me da el caso que el span sea vacío. Puesto que updateSet revisará al menos 1 letra y por lo tanto, el spam mínimo será justamente dicha letra. ¿Es posible dar algún ejemplo bien básico donde se de el caso que un span sea justamente vacío?

Por otro lado, en el enunciado nos dan el siguiente ejemplo:

ccbaaabddaaadac

Y nos indican que con el autómata del enunciado, el resultado sería:

3,8 10,13 14,15

Intenté hacer a mano el algoritmo y me da que debería ser:

3,7 10,13 14,15

Puesto que recién en el caracter 3 el autómata comienza a ejecutarse y cuando llega al caracter 6, se obtiene la máxima ejecución, pero cuando se ve el caracter 7, pasamos del estado 2 al estado 1 y 0, lo que hace que no sea aceptado dicha letra. ¿Es posible corroborar eso para ver si es un error mío o del enunciado?

Saludos y espero que estén todos bien :v: Hernán V.

[crivero1]

Hola Hernán,

Primero que todo, perdona la demora en responder.

Para el laboratorio debes extender el algoritmo para incluir las modificaciones de multiples estados iniciales, como también estados iniciales que son finales. No debes implementar exactamente el mismo algoritmo, si no que ver como extenderlo. El algoritmo visto en clases asume que el estado inicial no es final, así que por eso excluye el span vacío si lo implementas tal cual esta.

Sobre el ejemplo del enunciado, tu estas en lo correcto. El primer span debería ser 3,7 y no 3,8. Acabo de subir una nueva versión del enunciado con esta modificación.

Saludos!

[Hernan4444]

Hola! Muchas gracias por la respuesta. Sobre el span vacío, en caso de encontrar uno en la posición 1, se debería reportar como 1,1 ?

Saludos!

[crivero1]

Si, esa es la idea.