Slide 39
Slide 39 text
Proposed: LinMaxMatch
2021/11/12 Paper Reading (Hiraoka) 39
a b c d x
#
# b
d
c d y
z
Vocabulary
a,
abcdx,
##b,
##c,
##cdy,
##dz
Accepting
State
Non-accepting
State
Trie edge
Legend
0 3 4
1
2
5 6 7
8
9 10 11
12 13
[a, ##b]
Next: 9
[ ]
Next: ∅
[ ]
Next: ∅
[ ]
Next: ∅
[a]
Next: 2
[a]
Next: 8
[a, ##b]
Next: 10
[abcdx]
Next: 2
[##b]
Next: 2
[##c]
Next: 2
[##c]
Next: 12
[##cdy]
Next: 2
[ ]
Next: ∅
[##dz]
Next: 2
• Fill information for all states as precomputation.
• i.e., Caching 𝑂(𝑛!) computation in advance.