Tema 3: Análisis sintáctico - Ejercicios de modelado sintáctico con GPDR

Solución del ejercicio 6

Este es otro ejemplo con restricciones que parece más natural tratar a nivel semántico, aunque también pueden ser contempladas a nivel sintáctico: basta con garantizar, mediante las reglas de la gramática, que siempre que se genera un uno o un tres se genera también un dos:

<Secuencia> -> <UnosDoses> <Doses> <DosesTreses>
<UnosDoses> -> uno <UnosDoses> dos
<UnosDoses> -> uno dos
<Doses> -> dos <Doses>
<Doses> -> dos
<DosesTreses> -> dos <DosesTreses> tres
<DosesTreses> -> dos tres

---