Sei
![$G=(V,\Sigma,P,S)$](img373.png)
eine kontextfreie Grammatik.
![$G$](img402.png)
heißt LR(0)-Grammatik falls für alle
![$y,x,x'\in(\sigma\cup v)^{*}$](img715.png)
und
![$A,A'\in v$](img716.png)
gilt:
Weiterhin heißt
![$G$](img402.png)
nur LR(0)-Grammatik, wenn sie keine nutzlosen Variablen enthält und das Startsymbol niemals rechts steht. Zur Vereinfachung nehmen wir des weiteren an, daß unsere LR(0)-Grammatiken keine
![$\epsilon$](img183.png)
-Regeln enthalten.