Hey hey, FWIW I wrote this up too (also in Python but in a different style, and without as many cool glyphs): https://joypy.osdn.io/notebooks/Derivatives_of_Reg

Hey hey, FWIW I wrote this up too (also in Python but in a different style, and without as many cool glyphs): https://joypy.osdn.io/notebooks/Derivatives_of_Regular_Expressions.html https://joypy.osdn.io/notebooks/Derivatives_of_Regular_Expre... One neat thing is that the "compaction" rules to avoid exponential blowup are symmetrical (they form like, a ring or semi-ring or whatever, sorry I'm not a mathematician.) https://joypy.osdn.io/notebooks/Derivatives_of_Regular_Expressions.html#compaction-rules https://joypy.osdn.io/notebooks/Derivatives_of_Regular_Expre...