A|B son reglas unitarias? O solamente son unitarias las reglas del tipo A->B ?No sé si es lo que preguntás, pero "A → aS | B" no es una producción, es un shortcut para escribir las dos producciones A → aS y A → B. La primera no es unitaria, la segunda sí. Lo mismo con A → æA | B; A → æA no es unitaria (a no ser que æ sea épsilon), mientras que A → B sí es unitaria. Los pipes son shortcuts nomás, para agrupar varias producciones con el elemento de la izquierda en común. No hay producciones en P que tengan pipes.
Saludos
Ah impecable, no lo habia visto de esa forma, gracias.