1.

S  SS+
2. S  SS*
3. S  a

LR(0) automation / LR(0) set of items

I0

S’  .S

S  .SS+

S  .SS*

S  .a

Read S

I1

S’  S. (Read $  ACC)

S  S.S+

S  S.S*

S  .SS+

S  .SS*

S  .a (Read a)

I2

S  a.
State

0. S’  .S

1. S  .SS+

2. S  .SS*

3. S  .a

Action Goto
state + * a $ S
0 s2 1
1 s2 acc 3
2 r3 r3 r3 r3
3
4 d