Open stfwn opened 6 years ago
Thanks for looking into this! What did you use to make these diagrams? I think this is the kind of change I'd ultimately like to make myself, so I know how to update the diagrams if I need to later.
It's a LaTeX package called TikZ. It's pretty easy to use (as far as powerful LaTeX packages go). It was the package to use for a course in university and it's pretty versatile with configuring everything, so it should be future proof :-).
I added the .tex source file for the diagrams I exported so you can easily make changes later.
Cleaned up the automata diagrams a bit. They should be the semantically identical to the originals.