@fiore going a bit back and forth between the two ways of writing it down might actually help you a lot in grasping how it works. it really likes automata, but when it comes to context-sensitive grammars, or even context-free ones, just writing the productions is often way easier for it, and the automata it writes are often just a funny-looking conversion of these productions