State
0
0
$accept:
.
exp
$end
1
exp:
.
a
";"
2
|
.
b
"."
3
a:
.
"0"
4
b:
.
"0"
State
1
3
a:
"0"
.
[";"]
4
b:
"0"
.
["."]
"0"
State
2
0
$accept:
exp
.
$end
exp
State
3
1
exp:
a
.
";"
a
State
4
2
exp:
b
.
"."
b
R3 R4
["."]
State
5
0
$accept:
exp
$end
.
$end
State
6
1
exp:
a
";"
.
";"
State
7
2
exp:
b
"."
.
"."
Acc R1 R2