LR(1) Parsing for regular expression grammar

Grammar:
    S -> E 
    E -> E|E | EE | E* | (E) | t

first(S) = first(E) = {(, t}


                        ITEM SETS

         CORE                           CLOSURE

a : 
    S -> _E    : $ (b)              E -> _E|E : t,(,|,*,$  (b)
                                    E -> _EE  : t,(,|,*,$  (b)
                                    E -> _E*  : t,(,|,*,$  (b)
                                    E -> _(E) : t,(,|,*,$  (c)
                                    E -> _t   : t,(,|,*,$  (d)

b : 
    S -> E_   : $          (-)      E -> _E|E : t,(,|,*  (f)
    E -> E_|E : t,(,|,*,$  (e)      E -> _EE  : t,(,|,*  (f)
    E -> E_E  : t,(,|,*,$  (f)      E -> _E*  : t,(,|,*  (f)
    E -> E_*  : t,(,|,*,$  (g)      E -> _(E) : t,(,|,*  (h)
                                    E -> _t   : t,(,|,*  (i)

c : 
    E -> (_E) : t,(,|,*,$  (j)      E -> _E|E : t,(,),|,*  (j)
                                    E -> _EE  : t,(,),|,*  (j)
                                    E -> _E*  : t,(,),|,*  (j)
                                    E -> _(E) : t,(,),|,*  (k)
                                    E -> _t   : t,(,),|,*  (l)

d : 
    E -> t_   : t,(,|,*,$  (-)

e : 
    E -> E|_E : t,(,|,*,$  (m)      E -> _E|E : t,(,|,* (m)
                                    E -> _EE  : t,(,|,* (m)
                                    E -> _E*  : t,(,|,* (m)
                                    E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

f : 
    E -> EE_  : t,(,|,*,$  (-)      E -> _E|E : t,(,|,* (o)
    E -> E_|E : t,(,|,*    (n)      E -> _EE  : t,(,|,* (o)
    E -> E_E  : t,(,|,*    (o)      E -> _E*  : t,(,|,* (o)
    E -> E_*  : t,(,|,*    (p)      E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

g : 
    E -> E*_  : t,(,|,*,$  (-)

h : 
    E -> (_E) : t,(,|,*    (q)      E -> _E|E : t,(,|,* (q)
                                    E -> _EE  : t,(,|,* (q)
                                    E -> _E*  : t,(,|,* (q)
                                    E -> _(E) : t,(,|,* (k)
                                    E -> _t   : t,(,|,* (l)
i : 
    E -> t_   : t,(,|,*    (-)

j : 
    E -> (E_) : t,(,|,*,$  (r)      E -> _E|E : t,(,|,* (t)
    E -> E_|E : t,(,|,*    (s)      E -> _EE  : t,(,|,* (t)
    E -> E_E  : t,(,|,*    (t)      E -> _E*  : t,(,|,* (t)
    E -> E_*  : t,(,|,*    (u)      E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

k : 
    E -> (_E) : t,(,),|,*  (v)      E -> _E|E : t,(,),|,* (v)
                                    E -> _EE  : t,(,),|,* (v)
                                    E -> _E*  : t,(,),|,* (v)
                                    E -> _(E) : t,(,),|,* (k)
                                    E -> _t   : t,(,),|,* (l)
l : 
    E -> t_   : t,(,),|,*  (-)

m : 
    E -> E|E_ : t,(,|,*,$  (-)      E -> _E|E : t,(,|,* (o)
    E -> E_|E : t,(,|,*    (n)      E -> _EE  : t,(,|,* (o)
    E -> E_E  : t,(,|,*    (o)      E -> _E*  : t,(,|,* (o)
    E -> E_*  : t,(,|,*    (p)      E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

n : 
    E -> E|_E : t,(,|,*    (w)      E -> _E|E : t,(,|,* (w)
                                    E -> _EE  : t,(,|,* (w)
                                    E -> _E*  : t,(,|,* (w)
                                    E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

o : 
    E -> EE_  : t,(,|,*  (-)        E -> _E|E : t,(,|,* (o)
    E -> E_|E : t,(,|,*  (n)        E -> _EE  : t,(,|,* (o)
    E -> E_E  : t,(,|,*  (o)        E -> _E*  : t,(,|,* (o)
    E -> E_*  : t,(,|,*  (p)        E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

p : 
    E -> E*_  : t,(,|,*  (-)

q : 
    E -> (E_) : t,(,|,*    (x)      E -> _E|E : t,(,|,* (y)
    E -> E_|E : t,(,),|,*  (s)      E -> _EE  : t,(,|,* (y)
    E -> E_E  : t,(,),|,*  (y)      E -> _E*  : t,(,|,* (y)
    E -> E_*  : t,(,),|,*  (u)      E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

r : 
    E -> (E)_ : t,(,|,*,$  (-)

s : 
    E -> E|_E : t,(,),|,*  (z)      E -> _E|E : t,(,|,* (z)
                                    E -> _EE  : t,(,|,* (z)
                                    E -> _E*  : t,(,|,* (z)
                                    E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

t : 
    E -> EE_  : t,(,),|,*  (-)      E -> _E|E : t,(,|,* (o)
    E -> E_|E : t,(,|,*    (n)      E -> _EE  : t,(,|,* (o)
    E -> E_E  : t,(,|,*    (o)      E -> _E*  : t,(,|,* (o)
    E -> E_*  : t,(,|,*    (p)      E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

u : 
    E -> E*_  : t,(,),|,*  (-)

v : 
    E -> (E_) : t,(,),|,*  (@)      E -> _E|E : t,(,|,* (t)
    E -> E_|E : t,(,),|,*  (s)      E -> _EE  : t,(,|,* (t)
    E -> E_E  : t,(,),|,*  (t)      E -> _E*  : t,(,|,* (t)
    E -> E_*  : t,(,),|,*  (u)      E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)
w : 
    E -> E|E_ : t,(,|,*   (-)       E -> _E|E : t,(,|,* (o)
    E -> E_|E : t,(,|,*   (n)       E -> _EE  : t,(,|,* (o)
    E -> E_E  : t,(,|,*   (o)       E -> _E*  : t,(,|,* (o)
    E -> E_*  : t,(,|,*   (p)       E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

x : 
    E -> (E)_ : t,(,|,*   (-)

y : 
    E -> EE_  : t,(,),|,* (-)       E -> _E|E : t,(,|,* (o)
    E -> E_|E : t,(,|,*   (n)       E -> _EE  : t,(,|,* (o)
    E -> E_E  : t,(,|,*   (o)       E -> _E*  : t,(,|,* (o)
    E -> E_*  : t,(,|,*   (p)       E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

z : 
    E -> E|E_ : t,(,),|,* (-)       E -> _E|E : t,(,|,* (o)
    E -> E_|E : t,(,|,*   (n)       E -> _EE  : t,(,|,* (o)
    E -> E_E  : t,(,|,*   (o)       E -> _E*  : t,(,|,* (o)
    E -> E_*  : t,(,|,*   (p)       E -> _(E) : t,(,|,* (h)
                                    E -> _t   : t,(,|,* (i)

@ : 
    E -> (E)_ : t,(,),|,* (-)


                        LR(1) Parse table
                    
                           TOKEN                             GOTO
STATE  |   t   |   (   |   )   |   |   |   *   |   $   |   S   |   E
-------+-------+-------+-------+-------+-------+-------+-------+--------
a      | +d    | +c    |       |       |       |       |       | b
-------+-------+-------+-------+-------+-------+-------+-------+--------
b      | +i    | +h    |       | +e    | +g    | acc   |       | f
-------+-------+-------+-------+-------+-------+-------+-------+--------
c      | +l    | +k    |       |       |       |       |       | j
-------+-------+-------+-------+-------+-------+-------+-------+--------
d      | E->t  | E->t  |       | E->t  | E->t  | E->t  |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
e      | +i    | +h    |       |       |       |       |       | m
-------+-------+-------+-------+-------+-------+-------+-------+--------
f      | E->EE | E->EE |       | E->EE | +p    | E->EE |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
g      | E->E* | E->E* |       | E->E* | E->E* | E->E* |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
h      | +l    | +k    |       |       |       |       |       | q
-------+-------+-------+-------+-------+-------+-------+-------+--------
i      | E->t  | E->t  |       | E->t  | E->t  |       |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
j      | +i    | +h    | +r    | +s    | +u    |       |       | t
-------+-------+-------+-------+-------+-------+-------+-------+--------
k      | +l    | +k    |       |       |       |       |       | v
-------+-------+-------+-------+-------+-------+-------+-------+--------
l      | E->t  | E->t  | E->t  | E->t  | E->t  |       |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
m      | +i    | +h    |       | E->E|E| +p    | E->E|E|       | o
-------+-------+-------+-------+-------+-------+-------+-------+--------
n      | +i    | +h    |       |       |       |       |       | w
-------+-------+-------+-------+-------+-------+-------+-------+--------
o      | E->EE | E->EE |       | E->EE | +p    |       |       | o
-------+-------+-------+-------+-------+-------+-------+-------+--------
p      | E->E* | E->E* |       | E->E* | E->E* |       |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
q      | +i    | +h    | +x    | +s    | +u    |       |       | y
-------+-------+-------+-------+-------+-------+-------+-------+--------
r      | E->(E)| E->(E)|       | E->(E)| E->(E)| E->(E)|       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
s      | +i    | +h    |       |       |       |       |       | z
-------+-------+-------+-------+-------+-------+-------+-------+--------
t      | E->EE | E->EE | E->EE | E->EE | +p    |       |       | o
-------+-------+-------+-------+-------+-------+-------+-------+--------
u      | E->E* | E->E* | E->E* | E->E* | E->E* |       |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
v      | +i    | +h    | +@    | +s    | +u    |       |       | t
-------+-------+-------+-------+-------+-------+-------+-------+--------
w      | +i    | +h    |       | E->E|E| +p    |       |       | o
-------+-------+-------+-------+-------+-------+-------+-------+--------
x      | E->(E)| E->(E)|       | E->(E)| E->(E)|       |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
y      | E->EE | E->EE | E->EE | E->EE | +p    |       |       | o
-------+-------+-------+-------+-------+-------+-------+-------+--------
z      | +i    | +h    | E->E|E| E->E|E| +p    |       |       | o
-------+-------+-------+-------+-------+-------+-------+-------+--------
@      | E->(E)| E->(E)| E->(E)| E->(E)| E->(E)|       |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------





                       LALR(1) Parse table
                    
                           TOKEN                             GOTO
STATE  |   t   |   (   |   )   |   |   |   *   |   $   |   S   |   E
-------+-------+-------+-------+-------+-------+-------+-------+--------
a      | +dil  | +chk  |       |       |       |       |       | b
-------+-------+-------+-------+-------+-------+-------+-------+--------
b      | +dil  | +chk  |       | +ens  | +gpu  | acc   |       | foty
-------+-------+-------+-------+-------+-------+-------+-------+--------
chk    | +dil  | +chk  |       |       |       |       |       | jqv
-------+-------+-------+-------+-------+-------+-------+-------+--------
dil    | E->t  | E->t  | E->t  | E->t  | E->t  | E->t  |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
ens    | +dil  | +chk  |       |       |       |       |       | mwz
-------+-------+-------+-------+-------+-------+-------+-------+--------
foty   | E->EE | E->EE | E->EE | E->EE | +gpu  | E->EE |       | foty
-------+-------+-------+-------+-------+-------+-------+-------+--------
gpu    | E->E* | E->E* | E->E* | E->E* | E->E* | E->E* |       |
-------+-------+-------+-------+-------+-------+-------+-------+--------
jqv    | +dil  | +chk  | rq@   | +ens  | +gpu  |       |       | foty
-------+-------+-------+-------+-------+-------+-------+-------+--------
mwz    | +dil  | +chk  | E->E|E| E->E|E| +gpu  | E->E|E|       | foty
-------+-------+-------+-------+-------+-------+-------+-------+--------
rx@    | E->(E)| E->(E)| E->(E)| E->(E)| E->(E)| E->(E)|       |
-------+-------+-------+-------+-------+-------+-------+-------+--------