In which Brzozowski derivatives are computed.

gistfile1.txt

stuff = e13
e0 = ∅
e1 = ε
e2 = !e0
e3 = '/'
e4 = '*'
e5 = e3 + e4
e6 = e4 + e3
e7 = e3 + e2
e8 = e4 + e7
e9 = e2 + e8
e10 = !e9
e11 = e10 + e6
e12 = e4 + e11
e13 = e3 + e12
e14 = e7 | e9
e15 = !e14
e16 = e15 + e6
e17 = e3 | e16
e0 ∌ ε
d_e0 = e0
e1 ∋ ε
d_e1 = e0
e2 ∋ ε
d_e2 = e2
e3 ∌ ε
d'/'e3 = e1
d_e3 = e0
e4 ∌ ε
d'*'e4 = e1
d_e4 = e0
e5 ∌ ε
d'/'e5 = e4
d_e5 = e0
e6 ∌ ε
d'*'e6 = e3
d_e6 = e0
e7 ∌ ε
d'/'e7 = e2
d_e7 = e0
e8 ∌ ε
d'*'e8 = e7
d_e8 = e0
e9 ∌ ε
d'*'e9 = e14
d_e9 = e9
e10 ∋ ε
d'*'e10 = e15
d_e10 = e10
e11 ∌ ε
d'*'e11 = e17
d_e11 = e11
e12 ∌ ε
d'*'e12 = e11
d_e12 = e0
e13 ∌ ε
d'/'e13 = e12
d_e13 = e0
e14 ∌ ε
d'*'e14 = e14
d'/'e14 = e2
d_e14 = e9
e15 ∋ ε
d'*'e15 = e15
d'/'e15 = e0
d_e15 = e10
e16 ∌ ε
d'*'e16 = e17
d'/'e16 = e0
d_e16 = e11
e17 ∌ ε
d'*'e17 = e17
d'/'e17 = e1
d_e17 = e11