epsilon rules nelle grammatiche LR(0)

se in una grammatica LR(0) compare un epsilon rule, per mostrare se la
grammatica e' LR(0) bisogna considerare la epsilon come un simbolo
terminale oppure bisogna eliminare prima la epsilon?

Nessuna delle due; se c'e` una regola

A -> ε

nel procedimento operativo per costruire l'automa si considera direttamente la regola; non c'e` bisogno di scrivere la epsilon. Quindi si scrive direttamente il cursore:

A -> .

quindi questa e` gia` un riduzione (uno stato terminale dell'automa) senza che sia arrivato alcun carattere.

Oppure si puo` scrivere con la epsilon, ma in questo caso il cursore viene subito posto dopo la epsilon stessa (non puo` mai arrivare il carattere epsilon):

A -> ε.