SLR (1) Parser ac epsilon dan sylw

Mae'n debyg y bydd gennyf y gramadeg canlynol:

S → X  
X → a | ϵ

Pe na fyddai'r gramadeg hwnnw wedi cynnwys ϵ , byddwn yn llunio'r wladwriaeth gyntaf fel:

S' → .S
S → .X
X → .a

ond beth am y ϵ symbol? A ddylwn i gynnwys:

X → .ϵ

hefyd?

Os felly ... wrth greu'r taleithiau nesaf ... a ddylwn i wneud GOTO (Io, ϵ) , sef Io y wladwriaeth gyntaf honno?