This was a nice flashback to my theoretical comp. sci. lectures. I always liked drawing automata, there’s something quite satisfying in translating a grammar into a diagram and making sure both are equal.
Good write-up, Paul!