praticamente:
posso fare clr(1) e accorpare gli stati uguali. così facendo però, potrei avere dei conflitti dove applicando la propagazione dei lookahead per generare lalr direttamente, non avrei?
hai qualcosa che spiega come funziona la propagazione dei Look ahead?