Estoy tratando de hacer una gramática PEG (pegjs) simple para analizar una lista separada por espacios o una lista de números separados por comas, pero claramente me falta algo fundamental. Es decir, quiero hacer coincidir cadenas como "1 2 3" o "1,2,3", pero no una expresión mixta "1 2,3".
Mi intento de gramática es (que se puede ejecutar en https://pegjs.org/online ):
start = seq seq = num (" " n:num {return n})* / num ("," n:num {return n})* num = a:$[0-9]+ {return parseInt(a, 10)} EOL = !.Sin embargo, esta gramática solo analizará una lista separada por espacios. Si lo modifico para que sea:
start = seq seq = num (" " n:num {return n})* EOL / num ("," n:num {return n})* EOL num = a:$[0-9]+ {return parseInt(a, 10)} EOL = !. analizará una lista separada por espacios o por comas. Sin embargo, siento que no debería necesitar agregar EOL al final de cada una de mis expresiones... Pensé que, cuando se le daba una lista separada por comas, pegjs intentaría compararla con una lista separada por espacios, fallaba y luego haga coincidir con la regla de la lista separada por comas.
¿Qué me estoy perdiendo?
El número alternativo num (" " n:num {return n})* coincidirá correctamente con un solo num no seguido de un espacio, ya que * significa "0 o más repeticiones" y eso significa que 0 repeticiones cuentan. Una vez que una alternativa tiene éxito, no se intenta ninguna otra alternativa en ese conjunto, incluso si falla el análisis posterior. Eso esencialmente hace que la segunda alternativa sea irrelevante.
Cuando agrega el marcador EOL a las alternativas, evita que la primera alternativa tenga éxito a menos que coincida con el final. En ese caso, se intenta la siguiente alternativa. Pero, como dices, es un poco feo.
Aquí hay una posibilidad. Al factorizar el num y cambiar el operador de repetición a + (que no coincidirá con una entrada vacía), obligo a la primera alternativa a fallar si el primer carácter después del num no es un espacio. Se intentará entonces la segunda alternativa; solo si eso también falla, se aplicará el operador de opcionalidad.
seq = num ( (" " n:num {return n})+ / ("," n:num {return n})+ )?Lo probé brevemente con la herramienta en línea pegjs. Si lo usa, probablemente querrá hacer algo para aplanar la lista de números resultante.