Syntax analysis annex

Rule Parse tree Symbols Input
(5)
graph J-->LB["{"] J-->NS J-->RB["}"]
{ NS } { ' k 1 ' : 1 , ' k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"]
NS } ' k 1 ' : 1 , ' k 2 ' : [ ] }
(8)
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"]
N,NS } ' k 1 ' : 1 , ' k 2 ' : [ ] }
(10)
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->s N-->RQ['] N-->: N-->J2[J]
' s':J, NS } ' k 1 ' : 1 , ' k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->s N-->RQ['] N-->: N-->J2[J]
s':J, NS } k 1 ' : 1 , ' k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J]
':J, NS } ' : 1 , ' k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J]
:J, NS } : 1 , ' k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J];
J, NS } 1 , ' k 2 ' : [ ] }
(1)
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i;
i, NS } 1 , ' k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"];
, NS } , ' k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"];
NS } ' k 2 ' : [ ] }
(9)
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"] NS2-->N2[N];
N } ' k 2 ' : [ ] }
(10)
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"] NS2-->N2[N] N2-->LQ2['] N2-->S2[s] N2-->RQ2['] N2-->CL2[":"] N2-->J3[J];
's':J } ' k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"] NS2-->N2[N] N2-->LQ2['] N2-->S2[s] N2-->RQ2['] N2-->CL2[":"] N2-->J3[J];
s':J } k 2 ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"] NS2-->N2[N] N2-->LQ2['] N2-->S2["s(k2)"] N2-->RQ2['] N2-->CL2[":"] N2-->J3[J];
':J } ' : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"] NS2-->N2[N] N2-->LQ2['] N2-->S2["s(k2)"] N2-->RQ2['] N2-->CL2[":"] N2-->J3[J];
:J } : [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"] NS2-->N2[N] N2-->LQ2['] N2-->S2["s(k2)"] N2-->RQ2['] N2-->CL2[":"] N2-->J3[J];
J } [ ] }
(3)
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"] NS2-->N2[N] N2-->LQ2['] N2-->S2["s(k2)"] N2-->RQ2['] N2-->CL2[":"] N2-->J3[J] J3-->LSQ["["] J3-->RSQ["]"];
[ ] } [ ] }
graph J-->LB["{"] J-->NS J-->RB["}"] NS-->N NS-->, NS-->NS2["NS"] N-->LQ['] N-->S1("s(k1)") N-->RQ['] N-->: N-->J2[J] J2-->i["i(1)"] NS2-->N2[N] N2-->LQ2['] N2-->S2["s(k2)"] N2-->RQ2['] N2-->CL2[":"] N2-->J3[J] J3-->LSQ["["] J3-->RSQ["]"];