-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathStateMachine.py
35 lines (33 loc) · 1.93 KB
/
StateMachine.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
expression_automata = [
[0,-1,-1,-1,0,-1,1,10,3,2,-1],#0
[-2,0,-2,-2,-2,1,-2,-2,-2,-2,-2],
[-3,-3,5,4,-3,2,-3,-3,-3,-3,-3],
[-4,0,8,4,-4,3,-4,-4,-4,-4,-4],
[-5,-5,-5,-5,4,-5,-5,-5,2,2,-5],
[5,-6,-6,-6,5,-6,-6,-6,6,6,-6],#5
[-7,0,-7,7,-7,6,-7,-7,-7,-7,-7],
[-8,-8,-8,-8,7,-8,-8,-8,6,6,-8],
[8,-9,-9,-9,8,-9,13,12,9,6,-9],
[-10,0,-10,7,-10,9,-10,-10,-10,-10,-10],
[-11,-11,11,-11,-11,10,-11,-11,-11,-11,-11],#10
[-12,-12,-12,-12,11,-12,-12,-12,12,12,-12],
[-13,0,-13,-13,-13,12,-13,-13,-13,-13,-13]
]
statement_automata = [
[-1, -1, -1, 5, 8, 1, 0, -1, -1, 0, 0, -1, -1, 12, -1, -1, -1, -1, -1], # 0
[-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 2, -1, -1, -1, -1, -1],
[-2, -2, -2, -2, -2, -2, 0, 1, 3, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2],
[-3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, 3, -3, 4, 4, -3, -3, -3, -3],
[-4, -4, -4, -4, -4, -4, 0, -4, -4, -4, -4, -4, 4, 6, -4, -4, -4, -4, -4],
[-5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, -5, 6, -5, -5, -5, -5, -5], # 5
[-6, -6, -6, -6, -6, -6, 0, 5, 7, -6, -6, -6, -6, -6, -6, -6, -6, -6, -6],
[-7, -7, -7, -7, -7, -7, 0, -7, -7, -7, -7, -7, -7, -7, -7, -7, -7, -7, -7],
[-8, -8, -8, -8, -8, -8, -8, -8, -8, -8, -8, -8, -8, 9, -8, -8, -8, -8, -8],
[-9, -9, -9, -9, -9, -9, 0, 8, 10, -9, -9, -9, -9, -9, -9, -9, -9, -9, -9],
[-10, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10, 10, -10, 11, -10, 11, -10, -10, -10], # 10
[-11, 10, -11, -11, -11, -11, 0, -11, -11, -11, -11, -11, 11, -11, -11, -11, -11, -11, -11],
[10, -12, 13, -12, -12, -12, -12, -12, 14, -12, -12, -12, -12, -12, -12, -12, -12, -12, -12],
[-13, -13, -13, -13, -13, -13, 0, -13, -13, -13, -13, -13, -13, -13, -13, -13, -13, -13, -13],
[-14, -14, -14, -14, -14, -14, -14, -14, -14, -14, -14, 14, -14, 15, 4, 15, -14, -14, 7],
[10, 10, 13, -15, -15, -15, 0, -15, -15, -15, -15, -15, 15, -15, -15, -15, -15, 7, -15] # 15
]