Improve automata diagrams

[stfwn]

Cleaned up the automata diagrams a bit. They should be the semantically identical to the originals.

[ianh]

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.

[stfwn]

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.

[soobinrho]

👍 Although this PR is from a few years ago, it looks good!